1. Forum
  2. Usenet
  3. COMP.LANG.PROLOG

  • BEGINNINGS OF LOGIC PROVER ............... simple AND() and OR()

    From Graham Cooper@21:1/5 to All on Mon Feb 20 02:25:16 2023
    CHECK OUT THIS SIMPLE AND ROUTINE
    dot is short for daughter

    nep C X
    -and1 sis dot

    kid C X
    -or son dot

    or A B X
    -if
    -A C X
    -echo or
    -print A
    -print C
    -print X
    -echo newline
    -else
    -if
    -B C X
    -echo or
    -print B
    -print C
    -print X
    -echo newline
    -endif

    and1 A B X
    -A C W
    -echo and1
    -print A
    -print C
    -print W
    -echo newline
    -if
    -B W X
    -echo and2
    -print A
    -print W
    -print X
    -echo newline
    -else
    -clear W
    -clear X
    -next
    -and1 A B X



    ------------------------------ DEMO --------------------------

    nep brad [?]

    YES

    and1 sis brad mary
    and2 sis mary maryson

    nep brad maryson




    3 nep brad
    C=brad
    X=
    nep brad

    3 1 and1 sis dot
    2 and1 sis dot
    A=sis
    B=dot
    X=
    and1 sis dot

    2 1 A C W
    6 sis brad W
    W=mary
    sis brad mary

    2 2 echo and1
    2 3 print A
    2 4 print C
    2 5 print W
    2 6 echo newline
    2 7 if
    2 8 B W X
    11 dot mary X
    X=maryson
    dot mary maryson

    2 9 echo and2
    2 10 print A
    2 11 print W
    2 12 print X
    2 13 echo newline
    2 14 else
    3 2 echo newline
    3 3 echo nep
    3 4 print C
    3 5 print X

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)