# driver.py
from __future__ import with_statement
import sys
from pyke import knowledge_engine
from pyke import krb_traceback
engine = knowledge_engine.engine(__file__)
def fc_test():
engine.reset()
try:
engine.activate('fc_forall')
except:
krb_traceback.print_exc()
sys.exit(1)
def bc_test():
engine.reset()
try:
engine.activate('bc_forall')
with engine.prove_goal('bc_forall.no_step_siblings($child)') as gen:
for vars, plan in gen:
print vars['child']
except:
krb_traceback.print_exc()
sys.exit(1)
|