Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!sol.ctr.columbia.edu!emory!athena.cs.uga.edu!mcovingt
From: mcovingt@athena.cs.uga.edu (Michael A. Covington)
Newsgroups: comp.lang.prolog
Subject: Re: 4-port debugger (was: Poor state of Mac Prologs)y
Message-ID: <1991Jun21.234833.26430@athena.cs.uga.edu>
Date: 21 Jun 91 23:48:33 GMT
References: <4055@n-kulcs.cs.kuleuven.ac.be> <1991Jun21.220758.7981@swift.cs.tcd.ie>
Organization: University of Georgia, Athens
Lines: 19

In article <1991Jun21.220758.7981@swift.cs.tcd.ie> brady@swift.cs.tcd.ie writes:
>What don't I like about the four port debugger.
>Well, I can't think of anything better, yet, but  the thing
>is that it's, well, procedural. 

Precisely!  Prolog implements *procedures* for proving theorems, and one
cannot use Prolog effectively without knowing the procedures that the
computer will execute.  Prolog is no more a non-procedural language than
Fortran.

(Fortran a non-procedural language?  Of course!  Its big selling point,
back in 1958, was that it let you write A=B+C instead of LOAD B,
ADD C, STORE A.)

-- 
-------------------------------------------------------
Michael A. Covington | Artificial Intelligence Programs
The University of Georgia  |  Athens, GA 30602   U.S.A.
-------------------------------------------------------