CHR constraint solvers
2/9/00 12 - CHR (Constraint Handling Rules) is a Prolog package designed to write constraint systems and has been used to implement many different constraint systems.
CCL Agent Content Language Pages
4/24/00 15 - CCL is an content language designed to be used for agent communication and in particular for expressing statements about the worldwhich involve complex interrelated choices.