logic programming project add