The WAM and other fast schemes for Prolog are worth looking at. But the
Javascript version that Alex did using his and Stephen Murrell's design for
compact Prolog semantics (about 90 lines of Javascript code) is very
illuminating for those interested in "the logic of logic".
But Prolog has always had some serious flaws -- so it is worth looking at
cleaned up and enhanced versions (such as the Datalog with negation and time
variants I've mentioned). Also, Shapiro's Concurrent Prolog did quite a cleanup
long ago.
I particularly liked the arguments of Bill Kornfield's "Prolog With Equality"
paper from many years ago -- this is one of several seminal perspectives on
where this kind of language should be taken.
The big flaw with most of the attempts I've see to combine "Logic and Objects"
is that what should be done about state is not taken seriously. The first sins
were committed in Prolog itself by allowing a non-automatic undoable "assert".
I've argued that it would be much better to use takeoffs of "situation
calculus" and "pseudotime" to allow perfect
deductions/implications/functional-relationships to be computed while still
moving from one context to another to have a model of before, now, and after.
These are not new ideas, and I didn't have them first.
Cheers,
Alan
>________________________________
> From: Ryan Mitchley <[email protected]>
>To: Fundamentals of New Computing <[email protected]>
>Sent: Friday, March 16, 2012 5:26 AM
>Subject: Re: [fonc] [IAEP] Barbarians at the gate! (Project Nell)
>
>
>On 15/03/2012 14:20, Alan Kay wrote:
>Alex Warth did both a standard Prolog and an English based language one using
>OMeta in both Javascript, and in Smalltalk.
>>
>>
>>
>I must have a look at these. Thanks for all of the references. I was
working my way through Warren Abstract Machine implementation
details but it was truly headache-inducing (for me, anyway).
>
>A book I keep meaning to get is "Paradigms of Artificial
Intelligence Programming: Case Studies in Common Lisp", which
describes a Prolog-like implementation (and much more) in Lisp.
>
>The Minsky book would be very welcome!
>
>
>_______________________________________________
>fonc mailing list
>[email protected]
>http://vpri.org/mailman/listinfo/fonc
>
>
>_______________________________________________
fonc mailing list
[email protected]
http://vpri.org/mailman/listinfo/fonc
