For the logic programming course