From Newsgroup: comp.lang.prolog
Hi,
What happened to Julio Di Egidio full time Nazi
Retard? Did he **plonk** himself. Or maybe he
is deep inside Natural Number Game:
"An introduction to mathematical proof.
In this game, we will build the basic theory
of the natural numbers {0,1,2,3,4,...} from scratch."
https://adam.math.hhu.de/#/g/leanprover-community/nng4
And is now facing the final boss:
"Let's now begin our approach to the final
boss, by proving some more subtle facts
about powers."
https://adam.math.hhu.de/#/g/leanprover-community/nng4/world/Power/level/6
LoL
Bye
Mild Shock schrieb:
Hi,
Because Prolog has no false/0. It
only has fail/0, everything else is
Negation as Failure interpretation:
\+ P If the goal P has a solution, fail,
-aotherwise succeed. This is not real negation
-a("P is false"), but a kind of pseudo-negation
-ameaning "P is not provable". It is defined as if by
-a\+(P) :- P, !, fail.
-a\+(_).
https://userweb.fct.unl.pt/~lmp/publications/online-papers/DECsystem-10%20PROLOG%20USER%27S%20MANUAL.pdf
Bye
Mild Shock schrieb:
Hi,
UWN wrote:
?- call((!,false->true;true)).
-a-a-a false, unexpected.
-a-a-a true. % expected, but not found. Works in 14 other systems.
Nope, I get:
/* Dogelog Player */
?- call((!,false->true;true)).
EfU? Fehler: Pr|ndikat false/0 undefiniert.
-a-a-a-a user auf 1
But this here works:
/* Dogelog Player */
?- call((!,fail->true;true)).
true.
LoL
Bye
--- Synchronet 3.21a-Linux NewsLink 1.2