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