Constraint logic programming: Selected research by Benhamou, F., Colmerauer, A. fromLogic programming 0 Type: Book