Universal code (data compression) - Revision history

en>28bytes: /* References */ fix bare url

2014-03-10T20:34:43Z

References: fix bare url

@@ Line 1: / Line 1: @@
-'''Negation as failure''' ('''NAF''', for short) is a [[non-monotonic logic|non-monotonic]] inference rule in [[logic programming]], used to derive <math>\mathrm{not}~p</math> (i.e. that <math>~p</math> is assumed not to hold) from failure to derive <math>~p</math>.  Note that <math>\mathrm{not} ~p</math> can be different from the statement <math>\neg p</math> of the [[negation|logical negation]] of <math>~p</math>, depending on the completeness of the inference algorithm and thus also on the formal logic system.
+.mw-body, mtext {
+    font-family: Cambria;
-Negation as failure has been an important feature of logic programming since the earliest days of both [[Planner (programming_language)|Planner]] and [[Prolog]]. In Prolog, it is usually implemented using Prolog's extralogical constructs.
 math {
-==Planner semantics==
+    font-family: Cambria Math;
-In Planner, negation as failure could be implemented as follows:

2013-03-02T11:14:02Z

Bot: Migrating 3 interwiki links, now provided by Wikidata on d:q4176366

@@ Line 1: / Line 1: @@
-.mw-body, mtext {
+'''Negation as failure''' ('''NAF''', for short) is a [[non-monotonic logic|non-monotonic]] inference rule in [[logic programming]], used to derive <math>\mathrm{not}~p</math> (i.e. that <math>~p</math> is assumed not to hold) from failure to derive <math>~p</math>.  Note that <math>\mathrm{not} ~p</math> can be different from the statement <math>\neg p</math> of the [[negation|logical negation]] of <math>~p</math>, depending on the completeness of the inference algorithm and thus also on the formal logic system.
-    font-family: TeX Gyre Pagella;
+Negation as failure has been an important feature of logic programming since the earliest days of both [[Planner (programming_language)|Planner]] and [[Prolog]]. In Prolog, it is usually implemented using Prolog's extralogical constructs.
 math {
-    font-family: TeX Gyre Pagella Math;
+==Planner semantics==
+In Planner, negation as failure could be implemented as follows:

2012-05-28T13:14:12Z

TypoScan Project / General Fixes, typos fixed: , → , using AWB

New page

.mw-body, mtext {
font-family: TeX Gyre Pagella;
}
math {
font-family: TeX Gyre Pagella Math;
}