A Theoretical Framework for Consistency Techniques in Logic Programming

Van Hentenryck, Pascal

A Theoretical Framework for Consistency Techniques in Logic Programming

IJCAI 1987 pp. 2-8

/ijcai/1987/hentenryck1987ijcai-theoretical/

Abstract

While being a powerful paradigm for solving Constraint Satisfaction Problems (CSPs), Consistency Techniques (CTs) have never been taken into account during the design of declarative programming languages. This paper defines a theoretical framework for using CTs inside logic programming. Three inference rules are introduced and their formal properties are investigated. Also, computation rules are defined which are worth considering wrt the inference rules. As practical results, the programmer can write generate & test programs while the interpreter/compiler will use CTs for solving them (e.g forward checking or arc consistency). This makes logic programming not only a good language for stating CSPs but also an efficient tool for solving them as confirmed by our first experiences.

PDF Semantic Scholar

Cite

Text

Van Hentenryck. "A Theoretical Framework for Consistency Techniques in Logic Programming." International Joint Conference on Artificial Intelligence, 1987.

Markdown

[Van Hentenryck. "A Theoretical Framework for Consistency Techniques in Logic Programming." International Joint Conference on Artificial Intelligence, 1987.](https://mlanthology.org/ijcai/1987/hentenryck1987ijcai-theoretical/)

BibTeX

@inproceedings{hentenryck1987ijcai-theoretical,
  title     = {{A Theoretical Framework for Consistency Techniques in Logic Programming}},
  author    = {Van Hentenryck, Pascal},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1987},
  pages     = {2-8},
  url       = {https://mlanthology.org/ijcai/1987/hentenryck1987ijcai-theoretical/}
}