Article View: comp.lang.prolog
Article #3871Natural Deduction Logic Programming
From: Gary Levin
Date: Tue, 24 Jan 1989 22:25
Date: Tue, 24 Jan 1989 22:25
13 lines
984 bytes
984 bytes
Another query generated from the ``Logic Programming'' book. There is a paper by Hansson, Haridi, and Tarnlund (all from Sweden) called ``Properties of a Logic Programming Language''. They refer to a C implementation, but don't offer a name for their language. It is definitely not Prolog, permitting a super-set of Horn clauses and a reasonable definition for Negation. Any pointers to the implementation? -- ----- Gary Levin/Dept of Math & CS/Clarkson Univ/Potsdam, NY 13676/(315) 268-2384 BitNet: gary@clutx Internet: gary@clutx.clarkson.edu
Technical Details
Message-ID:
<GARY.89Jan24172533@milo.mcs.clarkson.edu>Path:
arc1-ca.pugleaf.net!utzoo!attcan!uunet!lll-winken!ames!mailrus!cornell!batcomputer!sun.soe.clarkson.edu!garyShow Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!attcan!uunet!lll-winken!ames!mailrus!cornell!batcomputer!sun.soe.clarkson.edu!gary From: gary@milo.mcs.clarkson.edu (Gary Levin) Newsgroups: comp.lang.prolog Subject: Natural Deduction Logic Programming Message-ID: <GARY.89Jan24172533@milo.mcs.clarkson.edu> Date: 24 Jan 89 22:25:33 GMT Sender: news@sun.soe.clarkson.edu Distribution: comp Organization: Clarkson University, Postdam NY Lines: 13