A PROLOG CONSTRAINT HANDLING RULES COMPILER AND RUNTIME SYSTEM. - Holzbaur, Christian; Fruhwirth, Thom (Applied Artificial Intelligence, 2000)