Excerpt from TURBOPROLOG-com

[Graham Cooper]

www.TURBOPROLOG.com


subquery q5 1
QUERY learn chris zTOPIC 1
HEADR learn zSTUD miniBASE
zSTUD chris
zTOPIC miniBASE
CHECKTAIL q5 1
FINSOLVE learn chris zTOPIC 1
true

true

query q5

YES



7 query q5
Q=q5
query q5

7 1 let Z false
7 2 subquery Q 1
6 subquery q5 1
Q=q5
TT=1
subquery q5 1

6 1 let Z false
6 2 echo subquery
6 3 print Q
6 4 print TT
6 5 echo newline
6 6 clear F
6 7 clear A
6 8 clear B
6 9 if
6 10 q Q TT F A B
31 q q5 1 F
F=learn
A=chris
q q5 1 learn

6 11 solve F A B TT
5 solve learn chris zTOPIC
F=learn
A=chris
B=zTOPIC
TTTTT=1
solve learn chris zTOPIC

5 1 let Z false
5 2 echo QUERY
5 3 print F
5 4 print A
5 5 print B
5 6 print TTTTT
5 7 echo newline
5 8 clear P
5 9 clear C
5 10 clear D
5 11 f P F C D
30 f P learn C
P=l1
C=zSTUD
D=miniBASE
f l1 learn zSTUD

5 12 let FPFCD true
5 13 remove var TTTTT
5 14 if
5 15 eq FPFCD true
5 16 echo HEADR
5 17 print F
5 18 print C
5 19 print D
5 20 echo newline
5 21 unify A C TTTTT
3 unify chris zSTUD 1
S=chris
T=zSTUD
TTTT=1
unify chris zSTUD 1

3 1 let R false
3 2 let Q true
3 3 if
3 4 eq S T
3 7 if
3 8 eq R false
3 9 if
3 10 bigger S y
3 16 if
3 17 eq R false
3 18 if
3 19 bigger T y
3 20 print T
3 21 print S
3 22 addvar T S TTTT
2 addvar zSTUD chris 1
S=zSTUD
T=chris
TT=1
addvar zSTUD chris 1

2 1 let FOUND false
2 2 let CONSIS false
2 3 let Q true
2 4 let R true
2 5 if
2 6 var S ANY E
68 var zSTUD ANY E
ANY=1
E=chris
var zSTUD 1 chris

2 7 let FOUND true
2 8 if
2 9 eq E T
2 10 let CONSIS true
2 11 endif
2 12 if
2 13 eq FOUND true
2 14 if
2 15 eq CONSIS false
2 26 if
2 27 eq FOUND true
2 28 if
2 29 eq CONSIS false
2 34 if
2 35 eq Q true
2 36 assert var S TT T
2 37 endif
3 23 echo newline
3 24 endif
3 25 if
3 26 eq Q false
3 29 if
3 30 eq Q true
3 31 if
3 32 eq R false
5 22 if
5 23 eq R true
5 24 unify B D TTTTT
3 unify zTOPIC miniBASE 1
S=zTOPIC
T=miniBASE
TTTT=1
unify zTOPIC miniBASE 1

3 1 let R false
3 2 let Q true
3 3 if
3 4 eq S T
3 7 if
3 8 eq R false
3 9 if
3 10 bigger S y
3 11 print S
3 12 print T
3 13 addvar S T TTTT
2 addvar zTOPIC miniBASE 1
S=zTOPIC
T=miniBASE
TT=1
addvar zTOPIC miniBASE 1

2 1 let FOUND false
2 2 let CONSIS false
2 3 let Q true
2 4 let R true
2 5 if
2 6 var S ANY E
69 var zTOPIC ANY E
ANY=1
E=miniBASE
var zTOPIC 1 miniBASE

2 7 let FOUND true
2 8 if
2 9 eq E T
2 10 let CONSIS true
2 11 endif
2 12 if
2 13 eq FOUND true
2 14 if
2 15 eq CONSIS false
2 26 if
2 27 eq FOUND true
2 28 if
2 29 eq CONSIS false
2 34 if
2 35 eq Q true
2 36 assert var S TT T
2 37 endif
3 14 echo newline
3 15 endif
3 16 if
3 17 eq R false
3 25 if
3 26 eq Q false
3 29 if
3 30 eq Q true
3 31 if
3 32 eq R false
5 25 if
5 26 eq R true
5 27 checksub P
8 checksub l1
PP=l1
checksub l1

8 1 if
8 2 q PP 1
8 8 let Z true
8 9 endif
5 28 if
5 29 eq Z true
5 30 checktail Q TT
9 checktail q5 1
PP=q5
TTTTTTT=1
checktail q5 1

9 1 echo CHECKTAIL
9 2 print PP
9 3 print TTTTTTT
9 4 echo newline
9 5 add T2 TTTTTTT 1
9 6 if
9 7 q PP T2
9 13 let Z true
9 14 endif
5 31 endif
5 32 if
5 33 eq FPFCD true
5 34 if
5 35 eq Z false
5 44 echo FINSOLVE
5 45 print F
5 46 print A
5 47 print B
5 48 print TTTTT
5 49 echo newline
6 12 print Z
6 13 echo newline
6 14 else
7 3 echo newline
7 4 print Z