I almost worked out the bracket parser think its a 2D array as you go futhr up
f ( a b(c))
x[1,1] = 'f'
x[1,2] = 'a'
I lost the 9 example sheet to compile the node data
head fa fa1
q q2 1 fa fb1 1
q fb1 1 fb 7 1
f fa1 fa fb2 1
f fb2 fb z1 1
head f f1
f f1 f a1 c
f a1 a b z1
q q3 1 f a2 z2
q a2 1 a b d
head f f2
f f2 f a3 d
f a3 a b1 c
f b1 b x y
q q4 1 f a4 d
q a4 1 a z1 c
head learn l1
f l1 learn zSTUD miniBASE
q q5 1 learn chris zTOPIC
head g g1
head g g2
f g1 g 1 2
f g2 g 3 3
q q6 1 g z1 z1
head h h1
f h1 h i1 i2
f i1 i 1 1
f i2 i 1 1
q q7 1 h z1 z1
head check check1
f check1 check 1 2
q q8 1 check 2 2
head rich rich1
head prty prty1
f rich1 rich gaga 1
f prty1 prty gaga 1
q q9 1 rich gaga 1
q q9 2 prty gaga 1
f num1 number 1 1
f num2 number 2 1
f num3 number 3 1
f equ1 equals 1 1
f equ2 equals 2 2
f equ3 equals 3 3
f tst1 testal z 1
q tst1 1 number z 1
q tst1 2 equals z 2
q q10 1 testal zN 1
that is phpProlog native form
eg
num(1).
num(2).
num(3).
equals(1,1)
equals(2,2).
having trouble reversing it back to the original examples
phpProlog ETA about 2 months
Sysop: | Keyop |
---|---|
Location: | Huddersfield, West Yorkshire, UK |
Users: | 491 |
Nodes: | 16 (2 / 14) |
Uptime: | 147:08:15 |
Calls: | 9,694 |
Calls today: | 4 |
Files: | 13,732 |
Messages: | 6,178,671 |