File: driver.py

package info (click to toggle)
pyke 1.1.1-3
  • links: PTS, VCS
  • area: main
  • in suites: wheezy
  • size: 4,456 kB
  • sloc: python: 12,872; sh: 441; xml: 203; sql: 39; makefile: 39
file content (9 lines) | stat: -rw-r--r-- 215 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
9
 
# 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']