fixed failure states of forward chaining
backupcommit
fixed a bug in backward chaining
changed the order of functions
changens in codebase
betaversion of report
final version programs
Readme