Technical Reports - Query ResultsYour query term was 'number = 90-09'
1 report found
- OFAI-TR-90-09 ( 66kB g-zipped PostScript file)
Integration of Extended Unification into a Prolog Interpreter
- Christian Holzbaur
- This paper reports on the practical experiences collected during the implementation of constraint logic programming techniques via metaterms and extended unification. During the actual implementation of extended unification in a concrete PROLOG implementation some minor refinements to a specification proposed earlier (Holzbaur 1990) had to be taken care of. Further, a convention related to the interpretation of the meaning of metaterms has been moved into the specification. This paper is also thought as a supplement to the C-Prolog manual, describing the additional predicates and conventions for the implementation of extended unification.