logic programming in python