Logic Programming in Python