[segmondy]

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/for...

Allows for rules such as

  iF
    problem_in_kitchen and no_water_from_outside
  then
    leak_in_kitchen.