Article View: comp.lang.prolog
Article #208Re: Purpose of Prolog Semantics
From: Torkel Franzen
Date: Wed, 15 Apr 1992 08:23
Date: Wed, 15 Apr 1992 08:23
8 lines
898 bytes
898 bytes
In article <6155@geocub.UUCP> billaud@geocub.UUCP (Michel BILLAUD) writes: >Predicate calculus is totally inadequate as a tool to think >about Prolog programs (even pure Prolog) ! Inadequate, yes, totally inadequate, no. It depends on the kind of thinking you do. What predicate logic does for Prolog is to provide a useful concept of partial correctness.
Technical Details
Message-ID:
<1992Apr15.082358.5738@sics.se>Path:
arc1-ca.pugleaf.net!sparky!uunet!think.com!mips!swrinde!gatech!bloom-beacon!eru.mt.luth.se!lunic!sunic!seunet!sics.se!sics.se!torkelReferences:
<10805@cs.tulane.edu> <6155@geocub.UUCP>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!sparky!uunet!think.com!mips!swrinde!gatech!bloom-beacon!eru.mt.luth.se!lunic!sunic!seunet!sics.se!sics.se!torkel From: torkel@sics.se (Torkel Franzen) Newsgroups: comp.lang.prolog Subject: Re: Purpose of Prolog Semantics Message-ID: <1992Apr15.082358.5738@sics.se> Date: 15 Apr 92 08:23:58 GMT References: <10805@cs.tulane.edu> <6155@geocub.UUCP> Sender: news@sics.se Organization: Swedish Institute of Computer Science, Kista Lines: 8 In-Reply-To: billaud@geocub.UUCP's message of 13 Apr 92 17:41:37 GMT