--- pl:prolog:pllib:negation [2019/06/27 15:50]
+++ pl:prolog:pllib:negation [2019/06/27 15:50] (aktualna)
@@ Linia 1: / Linia 1: @@
+====== Negation ======
+{{tag>operators}}
+===== Description =====
+Negation as failure.
+**Source**:  The Art of Prolog
+===== Download =====
+Program source code: {{negation.pl}}
+===== Listing =====
+<code prolog>
+/*
+   not X :- X is not provable.
+*/
+	:- op(900, fx, [not]).
+     not X :- X, !, fail.
+     not _.
+%  Program 11.6   Negation as failur
+</code>
+===== Comments =====

pl/prolog/pllib/negation.txt · ostatnio zmienione: 2019/06/27 15:50 (edycja zewnętrzna)

AIwiki

Menu