Path: 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: Date: 24 Jan 89 22:25:33 GMT Sender: news@sun.soe.clarkson.edu Distribution: comp Organization: Clarkson University, Postdam NY Lines: 13 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