load input into kb repeat: for each rule: apply the rule wherever possible in the kb add any results back to kb until nothing new concluded (or sun burns out)
Sandro Hawke
7 of 22