12 Jan
2012
12 Jan
'12
9:19 p.m.
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. ---------------------------------------------------
13 Jan
13 Jan
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.
2:43 a.m.
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.
I do have that book, but the Forth implementation on that page is much more
accessible. While one certainly doesn't need to understand the WAM to write
Prolog, I like to understand my interpreters, and I've always wanted to
resurrect a Prolog on the 6502 (Micro-Prolog, and more importantly the source
to the same, seems to have disappeared in the wind).
--
------------------------------------ personal: http://www.cameronkaiser.com/ --
Cameron Kaiser * Floodgap Systems * www.floodgap.com * ckaiser at floodgap.com
-- Computer geeks don't byte; we just nybble. ---------------------------------
4829
days inactive
4830
days old
2 comments
2 participants
participants (2)
-
spectre＠floodgap.com -
ttmrichter＠gmail.com