Mailing List Archive: 49091 messages
  • Home
  • Script library
  • AltME Archive
  • Mailing list
  • Articles Index
  • Site search

[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 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