I am working on library support of the Planner language. That means I am trying to implement Planner within InteLib library. At the moment the following specific parts of Planner seem to work: Lisp part, backtracking, pattern matching, inner database. The support of theorem proving (including matching pattern to pattern) has been almost implemented.
Welcome ) You've finally found a way to split thy nickname? :) -- RamosianGlider
No, I have just asked GenShen. ;-) This is probably the best way of splitting it. --IntAfy
By the way, it has a bonus of emphasizing proper accent ;) -- MeDendik