Path: 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


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