@inproceedings{56a785b689be40009afb6676f83d9260,
title = "The CLP(R) language and system: An overview",
abstract = "The basics of the CLP(R) language are reviewed, and some important programming techniques are described. A brief overview of the implementation of the CLP(R) interpreter is given. The operational model of the CLP(R) language is based on the amalgamation of two main procedures: a logic programming engine and a constraint solver for the domain of uninterpreted terms and arithmetic terms. In CLP(R) programs, constraints are used to specify the input parameter, appear dynamically during execution, and are output as answer constraints. Three clearly identifiable paradigms of CLP(R) programming methodology are described: hierarchical reasoning and constraint propagation, constraints as output, and a constrain-and-generate methodology for combinatorial search problems.",
author = "Joxan Jaffar and Spiro Michaylov and Stuckey, {Peter J.} and Yap, {Roland H C}",
year = "1991",
month = dec,
day = "1",
language = "English",
isbn = "0818621346",
series = "Digest of Papers - IEEE Computer Society International Conference",
publisher = "IEEE, Institute of Electrical and Electronics Engineers",
pages = "376--381",
booktitle = "Digest of Papers - IEEE Computer Society International Conference",
address = "United States of America",
note = "36th IEEE Computer Society International Conference - COMPCON Sping '91 ; Conference date: 25-02-1991 Through 01-03-1991",
}