Prolog in Python!