Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

phpProlog (lack of) progress report

10 views
Skip to first unread message

Graham Cooper

unread,
Jun 25, 2022, 9:00:02 AM6/25/22
to
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



Dhu on Gate

unread,
Jun 29, 2022, 12:06:51 PM6/29/22
to
Kewlio.

Dhu


--
Je suis Canadien. Ce n'est pas Francais ou Anglais.
C'est une esp`ece de sauvage: ne obliviscaris, vix ea nostra voco;-)
Duncan Patton the Campbell
0 new messages