> (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? /e -- UNSUBSCRIBE: mailto:picolisp@software-lab.de?subject=Unsubscribe