Feature Constraints with First-Class Features

Feature Constraint Systems have been proposed as a logical data structure for constraint (logic) programming. They provide a record-like view to trees by identifying subtrees by keyword rather than by position. Their atomic constraints are finer grained than in the constructor-based approach. The recently proposed CFT [15] in fact generalizes the rational tree system of Prolog II.

[1]  Mark Johnson,et al.  Attribute-value logic and the theory of grammar , 1988 .

[2]  Hassan Aït-Kaci,et al.  LOGIN: A Logic Programming Language with Built-In Inheritance , 1986, J. Log. Program..

[3]  Rolf Backofen.  On the Decidability of Functional Uncertainty , 1993, ACL.

[4]  Kounalis Emmanuel,et al.  A solution of the complement problem in associatiue-commutatiue theories , 1991 .

[5]  Gert Smolka,et al.  A Complete and Recursive Feature Theory , 1993, ACL.

[6]  Michael J. Maher.  Complete axiomatizations of the algebras of finite, rational and infinite trees , 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.

[7]  Alain Colmerauer,et al.  Equations and Inequations on Finite and Infinite Trees , 1984, FGCS.

[8]  Gert Smolka,et al.  A Feature-Based Constraint System for Logic Programming with Entailment , 1992, FGCS.

[9]  Hubert Comon.  Unification et disunification : théorie et applications , 1988 .

[10]  Loïc Pottier,et al.  A Solution of the Complement Problem in Associative-Commutative Theories , 1991, IWWERT.

[11]  K. N. Venkataraman,et al.  Decidability of the purely existential fragment of the theory of term algebras , 1987, JACM.

[12]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[13]  Gert Smolka,et al.  Feature-Constraint Logics for Unification Grammars , 1989, J. Log. Program..

[14]  Gert Smolka,et al.  Object-Oriented Concurrent Constraint Programming in Oz , 1993, KI.

[15]  Ralf Treinen.  A New Method for Undecidablity Proofs of First Order Theories , 1992, J. Symb. Comput..

[16]  Joxan Jaffar,et al.  Constraint logic programming , 1987, POPL '87.

[17]  Gert Smolka,et al.  Records for Logic Programming , 1994, J. Log. Program..

[18]  Hassan Aït-Kaci,et al.  An Algebraic Semantics Approach to the Effective Resolution of Type Equations , 1986, Theor. Comput. Sci..