[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Prolog continued: event abstractions in.



mi nelci lenu ko'a banli ro lo xelso ku poi ke'a prami le gugde kei ku poi
ke'a cafne .e la kserkes. gi'e zutse le stizu

(Takes 16 seconds to parse).
***

c(e,
  c(e,
    q(suho(1), _FJKVW,
      nu(_FJKVW,
         q(ro, _FJLAZ,
           xelso(_FJLAZ, _FJLGI, _FJLGJ, _FJLGK, _FJLGL),
           q(suho(1), _FJLKF,
             gugde(_FJLKF, _FJLPO, _FJLPP, _FJLPQ, _FJLPR), [],
             prami(_FJLAZ, _FJLKF, _FJLKG, _FJLKH, _FJLKI)
            ),
           banli(koha, _FJLAZ, _FJLBA, _FJLBB, _FJLBC)
          ),
         _FJLSS, _FJLST, _FJLSU),
       cafne(_FJKVW, _FJLWO, _FJLWP, _FJLWQ, _FJLWR),
       nelci(mi, _FJKVW, _FJKUU, _FJKUV, _FJKUW)
     ),
    nelci(mi, [kserkses], _FJKUU, _FJKUV, _FJKUW)
   ),
  q(suho(1), _FJMDN,
    stizu(_FJMDN, _FJMID, _FJMIE, _FJMIF, _FJMIG), [],
    zutse(mi, _FJMDN, _FJMDO, _FJMDP, _FJMDQ)
   )
 )

***

AND(
    AND(
        {E X
          nu(X,
             A Y
               xelso(Y):
               {E Z
                 gugde(Z);
                 prami(Y,Z)};
               banli(koha, Y)
             ):
           cafne(X);
           nelci(mi, X)
        },
        nelci(mi, [kserkses])
       ),
    E W:stizu(W);zutse(mi,W)
   )

^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Nick S. Nicholas,                      "Rode like foam on the river of pity
CogSci & CompSci student,               Turned its tide to strength
University of Melbourne, Australia.     Healed the hole that ripped in living"
nsn@{munagin.ee|mundil.cs}.mu.oz.au           - Suzanne Vega, Book Of Dreams
______________________________________________________________________________