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