[mercury-users] CHR implementation for mercury

[Peter Ross]

Does anyone have a CHR implementation for Mercury?

I just need one which works on the type term.term(T) plus the chr
constraints, and supports herbrand constraints for the builtin
constraints.

Pete
--------------------------------------------------------------------------
mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au
--------------------------------------------------------------------------