Hi Edwin,
now this got me interested. does Alex, or anybody else, have a
picolisp version of the doProve() and doUnify() c functions?
Hmm, after some searching, it seems I have only a fragment of some
initial version, when I experimented in Lisp before I rewrote the time
critical parts in C.
Hi Alex,
On Sun, Jul 17, 2011 at 3:55 PM, Alexander Burger a...@software-lab.de wrote:
Hmm, after some searching, it seems I have only a fragment of some
initial version, when I experimented in Lisp before I rewrote the time
critical parts in C.
There is 'prove', but 'unify' seems missing.
(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
