> (BTW - Many people might not realise the heart of pilog, the prove function,
> is written in C and seems very fast. For some prolog applications, it may be
> fast or faster than compiled prologs - would like to see some benchmarks to
> investigate that feeling. But for years, I was under the false impression
> that pilog was completely written in lisp and so pilog programs were doubly
> interpreted, but I was wrong: the heart of the pilog interpreter is C.)
now this got me interested. does Alex, or anybody else, have a
picolisp version of the doProve() and doUnify() c functions?