ALE: The Attribute Logic Engine: ALE 3.2, a freeware system written in Prolog by Bob Carpenter, and Gerald Penn integrates phrase structure parsing, semantic-head-driven generation and constraint logic programming with typed feature structures as terms. This generalizes both the feature structures of PATR-II and the terms of Prolog II to allow type inheritance and appropriateness specifications for features and values. Arbitrary constraints may be attached to types, and types may be declared as having extensional structural identity conditions. Grammars may also interleave unification steps with logic program goal calls (as can be done in DCGs), thus allowing parsing to be interleaved with other system components. ALE was developed with an eye toward Head-Driven Phrase Structure Grammar (HPSG), but it can also execute PATR-II grammars, definite clause grammars (DCGs), Prolog, Prolog-II, and LOGIN programs, etc. With suitable coding, it can also execute several aspects of Lexical-Functional Grammar (LFG).
Keywords for this software
References in zbMATH (referenced in 5 articles )
Showing results 1 to 5 of 5.
- Pendar, Nick: Linguistic constraint systems as general soft constraint satisfaction (2008) ioport
- Melnik, Nurit: From “Hand-written” to computationally implemented HPSG theories (2007) ioport
- Carpenter, Bob: The logic of typed feature structures. With applications to unification grammars, logic programs and constraint resolution. (2005)
- Hegner, Stephen J.: Computational and structural aspects of openly specified type hierarchies (2001)
- Carpenter, Bob: The logic of typed feature structures. With applications to unification grammars, logic programs and constraint resolution (1992)