Technical Reports - Query ResultsYour query term was 'number = 92-27'
1 report found
- OFAI-TR-92-27 ( 47kB g-zipped PostScript file)
Attributed Equivalence Classes in Prolog Implementations of CLP Languages
- Christian Holzbaur
- We introduce attributed equivalence classes as an explicit abstract data type for the representation and manipulation of general equation systems where the decision algorithm is based on quantifier elimination. The partition of quantifiers into equivalence classes results very naturally from a simple abstraction that separates the equation solving process in the object domain from global manipulation of equation systems. We propose and report on an implementation of a linear complexity equivalence relation maintenance algorithm within the framework of logic programming, based on extensible unification. The explicit representation of global aspects of equation systems leads to an object oriented approach to equation solving.