Re: Powerloom, a first stab... [somewhat OT]

A quick follow-up, based on Thomas Russ's posting:

The Common Lisp version of SHOP2 has a very open API for integration of
outside solvers such as Common Lisp.  It's relatively easy to write Horn
clauses that will execute (pretty) arbitrary code (although there  are
some pitfalls).

So it might be possible to use Powerloom as Thomas suggests.  A caution:
 SHOP2, like most planners, will backtrack during its search; a
discipline would have to be developed for having backtracking in the
planner have corresponding undo effects in Powerloom.

best,
r