Technical Reports - Query Results
Your query term was 'number = 92-24'1 report found
- OFAI-TR-92-24 (
45kB g-zipped PostScript file)DMCAI CLP Reference Manual
- Christian Holzbaur
- Within the version of SICStus Prolog documented in this manual, the
unification mechanism has been changed in such a way that the user
may introduce interpreted terms and specify their unification through
Prolog predicates. Extensible unification in turn, aims at the
implementation of instances of the general constraint logic
programming (CLP) scheme.
Keywords: , Unification, Implementation, Constraints
- Within the version of SICStus Prolog documented in this manual, the
unification mechanism has been changed in such a way that the user
may introduce interpreted terms and specify their unification through
Prolog predicates. Extensible unification in turn, aims at the
implementation of instances of the general constraint logic
programming (CLP) scheme.