Next: Why Types?
Up: FUF: the Universal Unifier
Previous: Path Notations for Lists:
FUF implements three notions of types:
- Typed features
- Procedural types with user-defined unification methods
- Constituent types with the FSET special feature
The idea of using types in unification is relatively recent. So we first
motivate the use of types in FUGs. The following sections describe each
one of the three methods of typing available.
Michael Elhadad - elhadad@cs.bgu.ac.il