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

[Graham Cooper]

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