Python Logic Programming