Records for Logic Programming


CFT is a new constraint system providing records as logical data structure for constraint (logic) programming. It can be seen as a generalization of the rational tree system employed in Prolog II, where ner-grained constraints are used, and where subtrees are identiied by keywords rather than by position. CFT is deened by a rst-order structure consisting of… (More)
DOI: 10.1016/0743-1066(94)90044-2


Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics