Sciweavers

Share
JFPLC
1998

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

8 years 5 months ago
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.
Liviu-Virgil Ciortuz
Added 01 Nov 2010
Updated 01 Nov 2010
Type Conference
Year 1998
Where JFPLC
Authors Liviu-Virgil Ciortuz
Comments (0)
books