Useful applications of constructive negation

Article View: comp.lang.prolog

Article #1735

#1735

From: Kjell Post
Date: Fri, 25 Jan 1991 01:10

13 lines
958 bytes

I read a little about constructive negation but haven't seen 
too many examples proving its usefulness.  I'd be interested
to see programs that can be expressed in a clearer or more
compact way, using a programming language with constructive 
negation as opposed to using plain SLDNF.

--Kjell
--
      For athletes and programmers,  ! Kjell E. Post
a woman is the end of their career.  ! CIS/CE
                                     ! University of California, Santa Cruz
              -- A.Wickberg          ! Email: kjell@saturn.ucsc.edu

Technical Details

Message-ID: <11526@darkstar.ucsc.edu>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!usc!ucsd!ucbvax!agate!darkstar!saturn.ucsc.edu

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!usc!ucsd!ucbvax!agate!darkstar!saturn.ucsc.edu
From: kjell@saturn.ucsc.edu (Kjell Post)
Newsgroups: comp.lang.prolog
Subject: Useful applications of constructive negation
Message-ID: <11526@darkstar.ucsc.edu>
Date: 25 Jan 91 01:10:49 GMT
Sender: usenet@darkstar.ucsc.edu
Organization: University of California, Santa Cruz
Lines: 13