1. Forum
  2. USENET
  3. sci.math

  • User @false is exaggerating as usual

    From Mild Shock@janburse@fastmail.fm to sci.math on Tue Oct 7 19:08:59 2025
    From Newsgroup: sci.math

    Hi,

    UWN wrote:

    ?- call((!,false->true;true)).
    false, unexpected.
    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.
    user auf 1

    But this here works:

    /* Dogelog Player */
    ?- call((!,fail->true;true)).
    true.

    LoL

    Bye
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From Mild Shock@janburse@fastmail.fm to sci.math on Tue Oct 7 19:09:19 2025
    From Newsgroup: sci.math

    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,
    otherwise succeed. This is not real negation
    ("P is false"), but a kind of pseudo-negation
    meaning "P is not provable". It is defined as if by

    \+(P) :- P, !, fail.
    \+(_).

    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 false, unexpected.
    -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 user auf 1

    But this here works:

    /* Dogelog Player */
    ?- call((!,fail->true;true)).
    true.

    LoL

    Bye

    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From Mild Shock@janburse@fastmail.fm to sci.math on Tue Oct 7 19:09:57 2025
    From Newsgroup: sci.math

    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