13 Jan
2012
13 Jan
'12
2:32 a.m.
On 13 January 2012 05:19, Cameron Kaiser <spectre at floodgap.com> wrote:
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
That is indeed very cool.
I'm confused, though: why are you intimidated by the WAM? First, you
really don't need to be using the WAM directly when you program in Prolog.
Second, even if you do decide to get involved with WAM-level stuff,
there's a very accessible explanation <http://wambook.sourceforge.net/> of
it available.
--
"Perhaps people don't believe this, but throughout all of the discussions
of entering China our focus has really been what's best for the Chinese
people. It's not been about our revenue or profit or whatnot."
--Sergey Brin, demonstrating the emptiness of the "don't be evil" mantra.