Twelf Architecture

Twelf is already a CLP language

• Flex-Flex and Flex-Rigid pairs are delayed as hard constraints

• constraints are awakened when the head variable of the Flex term is instantiated

For more information:

S. Michaylov and F. Pfenning

Higher-Order Logic Programming as Constraint Logic Programming

Proceedings of the 1st Workshop on Principles and Practice of Constraint Programming

Newport, Rhode Island, 1993, pp. 221-229

Previous slide

Next slide

Back to first slide

View graphic version