On Apr 15, 2009, at 12:29 , Marco Antoniotti wrote:
Dear CL-UNIFICATION aficionados,
I just added a few bells and whistles to the library (and hopefully
fixed a few bugs).
The documentation has not been updated yet, but the mosto visible
MOST
change is not the presence of a CL-PPCRE template.
NOW
I.e., doing
(unify #T(regexp "a(bce)d*" (?x)) "abceddddddd")
will return an environment with ?X bound to "bce"
Comments and bug checks are most welcome.
Please also have a look at the test suite.
As always, I am looking for helpers in developing this library.
Cheers
--
Marco Antoniotti
_______________________________________________
cl-unification-devel site list
cl-unification-devel@common-lisp.net
http://common-lisp.net/mailman/listinfo/cl-unification-devel