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 change is not the presence of a CL-PPCRE template. 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