• phpProlog (lack of) progress report

    From Graham Cooper@21:1/5 to All on Sat Jun 25 06:00:00 2022
    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

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Dhu on Gate@21:1/5 to Graham Cooper on Wed Jun 29 16:06:31 2022
    On Sat, 25 Jun 2022 06:00:00 -0700, Graham Cooper wrote:

    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

    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

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