Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

[495079]: examples / learn_pyke / run.py Maximize Restore History

Download this file

run.py    17 lines (12 with data), 352 Bytes

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
# run.py
import sys
from pyke import knowledge_engine, krb_traceback
engine = knowledge_engine.engine(__file__)
def run():
engine.reset()
try:
engine.activate('pattern_matching')
engine.prove_1_goal('pattern_matching.knows_pattern_matching()')
except StandardError:
krb_traceback.print_exc()
sys.exit(1)