# driver.py from pyke import knowledge_engine def run(): engine = knowledge_engine.engine(__file__) engine.activate('backup') vars, plan = engine.prove_1_goal('backup.top($ans)') print vars['ans']