From Newsgroup: comp.lang.prolog
Hi,
Toying around with Nexpert Object in the 80's
was quite fun. It had realtime Abduction and
Explanation. Abduction had an "ask" mechanism
and you could "volontier" values:
Chapter The Intelligent Rules Element
Click OK to continue the inferencing session - page 72
https://www.imn.htwk-leipzig.de/~sunpool/software/ee21/getstart/getstart.pdf
The fancy part was the rule network display,
which was animated, not only showing complete
explanations, but also incomplete explanations,
while forward and/or backward chaining was in
progress. SWI-Prolog should adopt that rule nodes
grow from left to right, and not from bottom to top.
Bye
--- Synchronet 3.21f-Linux NewsLink 1.2