[plt-scheme] Papers on criticism of Scheme?

From: Bill (william.wood3 at comcast.net)
Date: Mon Nov 3 11:37:00 EST 2008

On Mon, 2008-11-03 at 08:08 -0500, Matthias Felleisen wrote:
   . . .
> BTW, I suspect that Prolog is significantly older than OPS5.

Not so much.  The "Marseille Interpreter" seems to date to the early
70's (Battani and Medoni 1973. citation: Campbell, Implementations of
Prolog, 1984) and Kowalski bases "Logic for Problem Solving" on lectures
given in 1974 (citation: Kowalski, Logic for Problem Solving, 1979).
Kowalski worked on theorem-prover strategies and implementation
techniques from 1969.  The seed seems to have been Cordell Green's
insight that a Horn clause could be viewed as a procedure call in the
late 60's ("Application of theorem proving to problem solving", IJCAI-1,
1969 and "Theorem-proving  by resolution as a basis for
question-answering systems", MI4, 1969.  citations: Nilsson, Principles
of Artificial Intelligence, 1980).

 -- Bill Wood

Posted on the users mailing list.