J. Ja#ar, S. Michaylow, P. Stuckey, R. Yap: The CLP(R) language and system. ACM TOPLAS 14(3), pp. 339--395 (Juli 1992). Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Adding Linear Constrains over Real Numbers to Curry - Lux (2000) (Correct)
....the primitive oating point operations, because these functions must check for a ground result after evaluating a suspended application, anyway. 6 Related work Constraints over real numbers have been implemented in a logic programming language for the rst time in Prolog III [Col87] and CLP( [JMSY90]. Many other Prolog implementations since then include a constraint solver for linear constraints over real numbers or for other constraint domains. Constraint solving has been integrated into functional logic languages. For instance, Oz s evaluation model [Smo95] is based on con11 current ....
J. Ja ar, S. Michaylov, P.J. Stuckey, and R. Yap. The CLP(<) language and system. Technical report, IBM, 1990.
Constraint Logic and its Applications in Production: An.. - Bahler, Bowen (1996) (1 citation) (Correct)
....relationships and did not support the use of arbitrary application specific predicates, functions and domains. More recently, there has been a surge of interest in the relationship between constraints and logic programming. Several languages based on Prolog have been developed, most notably CLP(#)[17]; Prolog III [8] and CHIP [11] In these languages, which are generically known as the CLP languages, unification in the Herbrand universe is supplemented with constraint processing of linear equations or inequalities over the numbers. CHIP also uses arc consistency to process atomic constraints ....
....the second class of literature on constraint processing, constraint networks are allowed, but not required, to have infinite domains, and the restrictions imposed by constraints can be expressed intensionally. In this literature, which includes that dealing with Constraint Logic Programming (CLP) [8, 11, 17], the problem solving techniques include local propagation of known states [20] and a simplex like version of gaussian elimination [17] Consider, for example, the CLP(#) language, which is based on Prolog and in which constraint parameters can range over the real numbers #. In this language, a ....
[Article contains additional citation context not shown here]
Ja#ar, J., Michaylov, S., Stuckey, P., and Yap, R. (1992) The CLP(#) Language and System. ACM Trans. on Prog. Lang. and Systems, 14 (3), 339-395.
A Practical Extension Mechanism for Decision Procedures - Armando, Ranise (2000) (1 citation) (Correct)
....for this fragment. Besides the interest in investigating the coding of a complex decision procedures in the LCF style, this work seems to stress once more the importance of the trade o between completeness and usability in designing decision procedures for automated reasoning tasks. CLP(R) [12] deals with non linear constraints by suspending them until they become linear. This approach is not satisfactory in many practical situations. QUAD CLP(R) 20] shares with our work the emphasis on extending available solvers. In this system, quadratic constraints are approximated with linear one ....
J. Ja ar, S. Michaylov, P. J. Stuckey, and Roland H. C. Yap. The CLP(R) language and system. TOPLAS, 14(3):339-395, July 1992.
Constraint Inductive Logic Programming and Its Application.. - Liu, Zhong, Ohsuga (Correct)
....Logic Programming (CILP) 3] In CILP the learned de nitions are CLP clauses (or so called constrained clauses) which is more expressive than, for example, Prolog clauses which are learned for traditional ILP. Furthermore, CLP systems can e ectively handle numeric constraints (for example, CLP(R) [4] uses the simplex algorithm to solve linear arithmetic constraints over the real domain, CHIP [ 5 ] can solve constraints over nite domains as e ciently as some special purpose software tools do) In CILP, the number handling capabilities of CLP can be utilized by ILP as outside tools, without ....
J. Ja ar et al. \The CLP(R) Language and System", In ACM Transactions on Programming Languages and Systems, 14(3) (1992) 339-395.
Validation of Measurement Software as an Application of.. - Krinke, Snelting (1998) (9 citations) (Correct)
No context found.
J. Ja#ar, S. Michaylow, P. Stuckey, R. Yap: The CLP(R) language and system. ACM TOPLAS 14(3), pp. 339--395 (Juli 1992).
Constraint Inductive Logic Programming and Its Application to - Knowledge Discovery In (Correct)
No context found.
J. Ja ar et al. \The CLP(R) Language and System", In ACM Transactions on Programming Languages and Systems, 14(3) (1992) 339-395.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC