JESS: lisp to jess conversion

[Daniel Bond]

Hi everyone. I'm a Jess newbie and am trying to convert some Lisp code to Jess. The program is actually a logical reasoning solver and applies Wang's Algorithm. There is a good bit of recursive pattern matching.

If your interested, I have attached a copy of the Lisp code.

Thanks,

Daniel

Since I know very little about Jess, I thought I would ask here. Can you get to the underlying Lisp functions (for instance, cond) from Jess? Is this an insurmountable task?

prover.lisp
Description: Binary data