Article View: comp.lang.prolog
Article #2357Re: 4-port debugger (was: Poor state of Mac Prologs)y
From: Michael A. Covington
Date: Fri, 21 Jun 1991 23:48
Date: Fri, 21 Jun 1991 23:48
19 lines
1385 bytes
1385 bytes
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. -------------------------------------------------------
Technical Details
Message-ID:
<1991Jun21.234833.26430@athena.cs.uga.edu>Path:
arc1-ca.pugleaf.net!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!mcovingtReferences:
<4055@n-kulcs.cs.kuleuven.ac.be> <1991Jun21.220758.7981@swift.cs.tcd.ie>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!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