I am currently using PyKnow (https://github.com/buguroo/pyknow/ https://github.com/buguroo/pyknow/) as a rules engine for dialog management (to drive topic stac

I am currently using PyKnow (https://github.com/buguroo/pyknow/ https://github.com/buguroo/pyknow/) as a rules engine for dialog management (to drive topic stack frame selection). It's just a prototype so far and I have barely scratched the surface of expert systems, GOFAI and logic programming in general. It is based on CLIPS [1] which is a knowledge-oriented expert systems thing developed at NASA. It allows encoding logic as "gates" that solve for constraints with left-hand-side facts triggering right-hand-side consequences. I like to tell the business people it's like "IFTTT for X". Can someone with experience contrast this kind of thing with real logic programming? Is it just the level of formality and provability? Are there many logics like we have in philosophy (symbolic, predicate etc.) that are used in programming? [1] http://clipsrules.sourceforge.net/documentation/v640/ug.pdf http://clipsrules.sourceforge.net/documentation/v640/ug.pdf