Artificial-Intelligence

Wumpus World Program CODE STRUCTURE: Method check_true_false() checks if the statement and its negation entail from the knowledge base. It uses TTCheckAll(), which in-turn uses PLTrue() and extend. The output is print to a file called result.txt