OFAI

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

Citation: Holzbaur C.: DMCAI CLP Reference Manual, Austrian Research Institute for Artificial Intelligence, Vienna, TR-92-24, 1992.