def show_proofs(known):
while 1:
print
ans = raw_input('show proofs? ')
if ans in ['y','Y','yes','YES']:
[patt] = internal(raw_input('enter deductions pattern: '))
for (fact, proof) in known:
if match(patt, fact, {}, {})[0]:
trace_tree((fact, proof), 0)
elif ans in ['n','N','no','NO']:
break
elif ans == 'where':
print_solns(known, None)
elif ans == 'browse':
browse_pattern(rulebase, raw_input('enter browse pattern: '))
else:
print 'what? (expecting "y", "n", "where", or "browse")'
def show_proofs(known):
while 1:
print
ans = raw_input('show proofs? ')
if ans in ['y', 'Y', 'yes', 'YES']:
[patt] = internal(raw_input('enter deductions pattern: '))
for (fact, proof) in known:
if match(patt, fact, {}, {})[0]:
trace_tree((fact, proof), 0)
elif ans in ['n', 'N', 'no', 'NO']:
break
elif ans == 'where':
print_solns(known, None)
elif ans == 'browse':
browse_pattern(rulebase, raw_input('enter browse pattern: '))
else:
print 'what? (expecting "y", "n", "where", or "browse")'