Building a forward chaining rule in Prolog is trivial. Here's an example in 25 lines https://www.cse.unsw.edu.au/~billw/cs9414/notes/kr/rules/forward.pro https

Building a forward chaining rule in Prolog is trivial. Here's an example in 25 lines https://www.cse.unsw.edu.au/~billw/cs9414/notes/kr/rules/forward.pro https://www.cse.unsw.edu.au/~billw/cs9414/notes/kr/rules/for... Allows for rules such as iF problem_in_kitchen and no_water_from_outside then leak_in_kitchen.