[REBOL] Prolog for REBOL was: Generating words and global variable space
From: fsievert:uos at: 23-Mar-2001 18:28
Hi!
Interesting. I already wrote a simple Prolog-Interpreter, maybe you like
the ideas I used. I am not renaming the words but using own contexts for
them. Try it with the latest /Core xper, if you want. There are a few no
longer needed parts (because RT repaired a few GC-Bugs :)))
Have a look at
http://proton.cl-ki.uni-osnabrueck.de/REBOL/reblog.r
And try
>> do http://proton...../reblog.r
>> pl-interact
REBlog >> assert(a(X):-b(X)).
('. ('assert (:- ('a X) ('b X))) 'trace)
X = X
Retry?y
== no
REBlog >> assert(b(test)).
('. ('assert ('b 'test)) 'trace)
== yes
REBlog >> a(X).
('. ('a X) 'trace)
X = test
Retry?y
== no
CU,
Frank
