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