A Layer on Top of Prolog for Composing Behavioural Constraints. - Tommaso Bolognesi; Franco Accordino (Softw. Pract. Exp., 1998)