DF - a feature constraint system and its extension to a logic concurrent language

Abstract. This paper presents a feature constraint system that, compared with the well-known systems OSF 1] and CFT 5], incorporates several interesting characteristics. The new system, called DF, is naturally extended through the CLP scheme (in combination with a dynamic completion technique) to a logic language equally called DF.1 The DF feature constraint system adopted the F-logic's 4] declarative semantics, and the DF language successfully puts F-logic to work in a concurrent- avoured manner, with a completely rebuilt operational semantics.

• Type: Conference
• Year: 1998
• Where: JFPLC
• Authors: Liviu-Virgil Ciortuz
• Keywords: DF Feature Constraint, DF Language, Feature Constraint, JFPLC 1998, JFPLC 2001