DF - a feature constraint system and its extension to a logic concurrent language.
Liviu-Virgil Ciortuz · 1998
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.