(language, logic programming) A derivative of Constraint Logic Programming (CLP).
Last updated: 1994-11-01