Python Logic Programs