> (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?

UNSUBSCRIBE: mailto:picolisp@software-lab.de?subject=Unsubscribe

Reply via email to