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))