--- a
+++ b/examples/learn_pyke/driver.py
@@ -0,0 +1,16 @@
+# driver.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)
+