[cl-unification-devel] New functionality added

[Marco Antoniotti]

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