Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.1 6/24/83; site bcsaic.UUCP
Path: utzoo!watmath!clyde!burl!ulysses!unc!mcnc!decvax!tektronix!uw-beaver!ssc-vax!bcsaic!shebs
From: shebs@bcsaic.UUCP (stan shebs)
Newsgroups: net.lang.prolog
Subject: Re: Prolog: first order??
Message-ID: <175@bcsaic.UUCP>
Date: Tue, 2-Jul-85 18:43:29 EDT
Article-I.D.: bcsaic.175
Posted: Tue Jul  2 18:43:29 1985
Date-Received: Sat, 13-Jul-85 09:18:02 EDT
References: <174@bcsaic.UUCP>
Reply-To: shebs@bcsaic.UUCP (stan shebs)
Organization: Boeing Computer Services AI Center
Lines: 11
Keywords: Prolog logic
Summary: 

In article <174@bcsaic.UUCP> michaelm@bcsaic.UUCP (michael b maxwell) writes:
>
>Can someone clear something up for me?  I would have thought that Prolog
>was *not* "strictly first order logic," because of the existence of
>predicates like "call" and "=..".

Prolog is first-order logic in the same way that Lisp is lambda-calculus.
It's amazing what a language can pick up on the way from theory to design
to implementation hacking...

							stan shebs