[comp.lang.prolog] Useful applications of constructive negation

kjell@saturn.ucsc.edu (Kjell Post) (01/25/91)

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