Liste des Groupes | Revenir à ol advocacy |
On Mon, 25 Mar 2024 17:01:46 -0500, Physfitfreak wrote:https://qb64phoenix.com/qb64wiki/index.php/IMP
In this topic that we were discussing, I hadn't even paid closehttps://en.wikipedia.org/wiki/Material_conditional
attention to the word "implication". Now that I'm looking more
carefully, I see that it is better than "concurrence" for use in that
type of operation.
Prolog uses :- for Horn clauses, which are evaluated from right to left. I
dug out my Prolog manual from 1982 and it launched into a discussion of
Horn clauses and remarked Prolog wasn't ready for propositional calculus.
Maybe someday.
Still a strange thing to be found in the Beginner's All-purpose Symbolic
Instruction Code. I doubt there were many mourners when it was dropped.
Les messages affichés proviennent d'usenet.