OFAI

Technical Reports - Query Results

Your query term was 'number = 95-09'
1 report found
OFAI-TR-95-09 ( 46kB g-zipped PostScript file,  160kB PDF file)

OEFAI clp(q,r) Manual Rev. 1.3.2

Christian Holzbaur

This Manual documents a Prolog implementation of clp(q,r), based on SICStus featuring extensible unification via attributed variables. The system described in this document is an instance of the general Constraint Logic Programming scheme introduced by [Jaffar and Michaylov 87]. The implementation is at least as complete as other existing clp(r) implementations: It solves linear equations over rational or real valued variables, covers the lazy treatment of nonlinear equations, features a decision algorithm for linear inequalities that detects implied equations, removes redundancies, performs projections (quantifier elimination), allows for linear dis-equations, and provides for linear optimization.

Citation: Holzbaur C.: OEFAI clp(q,r) Manual Rev. 1.3.2, Austrian Research Institute for Artificial Intelligence, Vienna, TR-95-09, 1995.