def query(self, quest):
if self.db : db=self.db
else : db=None
goals = tuple(parse(quest, ground=False, rule=False))
print('GOAL PARSED:', goals)
for answer in interp(self.css, goals, db=db):
print('ANSWER:', answer)
print('')
def __init__(self, text=None, file_name=None, db_name=None):
if file_name:
text = self.consult(file_name)
self.css = tuple(parse(text, ground=False, rule=True))
if db_name:
self.db= db.db()
self.db.load(db_name)
else:
self.db=None
def query(self, quest):
goals = tuple(parse(quest, ground=False, rule=False))
print('GOAL PARSED:', goals)
for answer in interp(self.css, goals):
print('ANSWER:', answer)
print('')
def solve(self, quest): goals = tuple(parse(quest, ground=False, rule=False)) yield from interp(self.css, goals, db=self.db)
def __init__(self, text=None, file_name=None):
if file_name:
text = self.consult(file_name)
self.css = tuple(parse(text, ground=False, rule=True))
