[cl-unification-devel] New functionality added

Marco Antoniotti marcoxa at cs.nyu.edu
Wed Apr 15 11:23:36 UTC 2009


Well....  I *do* need new glasses!

Sorry for the noise....


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 at common-lisp.net
> http://common-lisp.net/mailman/listinfo/cl-unification-devel

--
Marco Antoniotti


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.common-lisp.net/pipermail/cl-unification-devel/attachments/20090415/99f55c87/attachment.html>


More information about the cl-unification-devel mailing list