retracts, retract_rules = read.read_tokenize("retracts.txt") asks, ask_rules = read.read_tokenize("asks.txt") print "\033[0;32m\n=================== Setting up the Knowledge Base ===================\x1b[0m" kb = logic.kb() print print kb print "\033[0;32m\n=================== Testing KB_Assert ===================\x1b[0m" for rule in rules: logic.KB_assert(kb, rule) for fact in facts: logic.KB_assert(kb, fact) for fact in kb.facts: print fact print "\033[0;32m\n=================== Testing KB_ask ===================\x1b[0m" for ask in asks: print "\nAsking : " + str(ask) matches = logic.KB_ask(kb, ask) if len(matches) == 0: print "No matches in KB" else:
import read, logic facts, rules = read.read_tokenize("statements.txt") kb = logic.kb() for f in facts: logic.KB_assert(kb, f) for r in rules: logic.KB_assert(kb, r) for f in kb.facts: print(f) for r in kb.rules: print(r)