clp(Q,R)
Edit Page
Report
Scan day: 16 February 2014 UTC
14
Virus safety - good
Description: Implementation of general Constraint Logic Programming scheme introduced by Jaffar, Michaylov 1987. As full as other CLP(R)s: solves linear equations over rational or real valued variables, and covers lazy treatment of nonlinear equations.
OFAI - TR-95-09: OEFAI clp(q,r) Manual Rev. 1.3.2 Technical Reports - Query Results OEFAI clp(q,r) Manual Rev. 1.3.2 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.
Size: 824 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | OFAI - TR-95-09: OEFAI clp(q,r) Manual Rev. 1.3.2 |
| Keywords: | |
| Description: | |
| IP-address: | 193.171.142.190 |