# Path: pyke/knowledge_engine.py
#     class chain(object):
# class CanNotProve(StandardError):
# class engine(object):
#         def __new__(cls, *args):
#         def from_iterable(i):
#     def __init__(self, *search_paths, **kws):
#     def _create_target_pkg(self, path, target_pkgs):
#     def get_ask_module(self):
#     def reset(self):
#     def get_kb(self, kb_name, _new_class = None):
#     def get_rb(self, rb_name):
#     def get_create(self, rb_name, parent = None, exclude_list = ()):
#     def get_ke(self, kb_name, entity_name):
#     def add_universal_fact(self, kb_name, fact_name, args):
#     def add_case_specific_fact(self, kb_name, fact_name, args):
#     def assert_(self, kb_name, entity_name, args):
#     def activate(self, *rb_names):
#     def lookup(self, kb_name, entity_name, pat_context, patterns):
#     def prove_goal(self, goal_str, **args):
#     def prove_1_goal(self, goal_str, **args):
#     def prove(self, kb_name, entity_name, pat_context, patterns):
#     def prove_n(self, kb_name, entity_name, fixed_args = (), num_returns = 0):
#         def gen():
#     def prove_1(self, kb_name, entity_name, fixed_args = (), num_returns = 0):
#     def print_stats(self, f = sys.stdout):
#     def trace(self, rb_name, rule_name):
#     def untrace(self, rb_name, rule_name):
# def _get_target_pkg(target_name):
# def _pythonify_path(path):
# def _is_package_dir(path):
# def in_sys_path(path):


from pyke import knowledge_engine
# test.py


Engine = None

def test(kb, ke, arg):
    global Engine
    if Engine is None:
        Engine = knowledge_engine.engine(__file__)
    Engine.reset()
    Engine.activate('rules')
    try:
        Engine.prove_1(kb, ke, (arg,), 0)

# Path: pyke/knowledge_engine.py
#     class chain(object):
# class CanNotProve(StandardError):
# class engine(object):
#         def __new__(cls, *args):
#         def from_iterable(i):
#     def __init__(self, *search_paths, **kws):
#     def _create_target_pkg(self, path, target_pkgs):
#     def get_ask_module(self):
#     def reset(self):
#     def get_kb(self, kb_name, _new_class = None):
#     def get_rb(self, rb_name):
#     def get_create(self, rb_name, parent = None, exclude_list = ()):
#     def get_ke(self, kb_name, entity_name):
#     def add_universal_fact(self, kb_name, fact_name, args):
#     def add_case_specific_fact(self, kb_name, fact_name, args):
#     def assert_(self, kb_name, entity_name, args):
#     def activate(self, *rb_names):
#     def lookup(self, kb_name, entity_name, pat_context, patterns):
#     def prove_goal(self, goal_str, **args):
#     def prove_1_goal(self, goal_str, **args):
#     def prove(self, kb_name, entity_name, pat_context, patterns):
#     def prove_n(self, kb_name, entity_name, fixed_args = (), num_returns = 0):
#         def gen():
#     def prove_1(self, kb_name, entity_name, fixed_args = (), num_returns = 0):
#     def print_stats(self, f = sys.stdout):
#     def trace(self, rb_name, rule_name):
#     def untrace(self, rb_name, rule_name):
# def _get_target_pkg(target_name):
# def _pythonify_path(path):
# def _is_package_dir(path):
# def in_sys_path(path):


# Path: Test/CanNotProve/test.py
from pyke import knowledge_engine

# test.py


Engine = None

def test(kb, ke, arg):
    global Engine
    if Engine is None:
        Engine = knowledge_engine.engine(__file__)
    Engine.reset()
    Engine.activate('rules')
    try:
        Engine.prove_1(kb, ke, (arg,), 0)

    except knowledge_engine.CanNotProve: