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)