Search for contributionsshowhide

⧼contribs-top⧽

Username, IP address or CIDR range:

Namespace:

Invert selection

Associated namespace

Tag filter:

Invert selection

Only show edits that are latest revisions

Only show edits that are page creations

Hide minor edits

⧼contribs-date⧽

From date:

To date:

Show only edits pending review

Hide probably good edits

22:3522:35, 19 December 2023 diff hist −1‎ m Logic programming ‎ A typo corrected "H" --> "A" (in an explanation of clauses) Tag: Visual edit
22:3222:32, 19 December 2023 diff hist −298‎ m Prolog ‎ removed a line (from "Data Types") explaining atom/1 etc. It is too detailed/technical and not understandable at this stage of explaning. Tag: Visual edit: Switched

09:1509:15, 7 December 2023 diff hist −55‎ Prolog ‎ Simplifying the description of variables Tag: Visual edit

22:2022:20, 5 December 2023 diff hist −2,107‎ User:Wlodr ‎ ←Replaced content with ' ===nothing so far===' current Tags: Replaced Visual edit
22:1822:18, 5 December 2023 diff hist +59‎ N User:Wlodr/sandbox ‎ ←Created page with '((User sandbox))  test sandbox' current
20:1720:17, 5 December 2023 diff hist −3‎ Prolog ‎ minor correction in the description of variables; minute correction in list examples Tag: Visual edit: Switched
20:0520:05, 5 December 2023 diff hist −75‎ Prolog ‎ From the description of numbers, removed an un-understandable sentence on a flag "bounded" Tag: Visual edit: Switched
19:5419:54, 5 December 2023 diff hist +105‎ Prolog ‎ Footnote explaining discrepancy in the terminology of Prolog and that of logic Tag: Visual edit: Switched
19:2419:24, 5 December 2023 diff hist +2,128‎ N User:Wlodr ‎ ←Created page with ' ===Data types=== Prolog's single data type is the ''term''. Terms are either ''atoms'', ''numbers'', ''variables'' or ''compound terms''.<ref> The Prolog terminology differs from that of logic. A term of Prolog is (depending on the context) a term or an atomic formula of logic. An atom in a standard logic terminology means an atomic formula; an atom of Prolog (depending on...'
16:2616:26, 5 December 2023 diff hist −34‎ Prolog ‎ rephrase in the leading paragraphs Tag: Disambiguation links added

14:5414:54, 20 July 2019 diff hist +380‎ Talk:Logical connective ‎ →‎only if: new section
14:4614:46, 20 July 2019 diff hist −54‎ Logical connective ‎ removed from the table a line incorrectly stating that "only if" is the converse implication. To the contrary, it is the implication.