For people such as myself who are inordinately fascinated by Prolog, and
terribly intimidated by things like the Warren Abstract Machine, here is
a practical subset of Prolog written in the much easier to implement Forth
along with various companion articles (including one on SKI combinators).
http://soton.mpeforth.com/flag/jfar/vol4.html
--
------------------------------------ personal:
http://www.cameronkaiser.com/ --
Cameron Kaiser * Floodgap Systems *
www.floodgap.com * ckaiser at
floodgap.com
-- A penny saved is stupid. ---------------------------------------------------