Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.2 9/18/84; site water.UUCP
Path: utzoo!watmath!watnot!water!kyukawa
From: kyukawa@water.UUCP (Keitaro Yukawa)
Newsgroups: net.lang.prolog
Subject: Re: Re: Prolog: first order??
Message-ID: <718@water.UUCP>
Date: Mon, 22-Jul-85 14:43:17 EDT
Article-I.D.: water.718
Posted: Mon Jul 22 14:43:17 1985
Date-Received: Wed, 24-Jul-85 21:22:35 EDT
Distribution: net
Organization: U of Waterloo, Ontario
Lines: 8

Note that Randy Goebel wrote:
     The semantics of pure Prolog.....
Clearly he is referring to model theoretic or fixpoint semantics;
he mentions neither proof theory nor implementation.

Kei Yukawa
Logic Programming and Artificial Intelligence Group
University of Waterloo