Hi Cle,

> yeah! That is a nice idea. Especially as your Pilog is a more complete  
> Prolog as those implementation I've seen used by other Lisp systems. I  

Glad to hear that!

But please note that there is one difference (or bug?) that Jon Kleiser
found out about two years ago, and which I could not resolve:

Anonymous variables ('@' in Pilog, '_' in Prolog) may not work as
expected, when there is more than one of them in a complex rule, with
each in a different context.

I could not find a solution for that problem, and finally decided to
live with it. I hope this is acceptable.

Cheers,
- Alex
-- 
UNSUBSCRIBE: mailto:picol...@software-lab.de?subject=unsubscribe

Reply via email to