Hi Alex,
On Sun, Jul 17, 2011 at 3:55 PM, Alexander Burger 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. Anway:
thanks
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.
> (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 f