Prolog Control Rules

Naish, Lee

Prolog Control Rules

Download BibTeX Cite

Proceedings of the Ninth International Joint Conference on Artificial Intelligence. Logic Programming. Pages 720-721.

Abstract

We present an overview of the many control constructs and heuristics used by PROLOG systems with extra control facilities. Two features of computations rules are used to evaluate and classify them. They are detecting failure quickly (where it is unavoidable) and avoiding failures . By examining current systems in this light, we reach conclusions concerning deficiencies in performance, and how they may be overcome. We propose an idealized computation rule which uses a hierarchy of goals and a breadth first component.

Lee Naish. 1985. Prolog Control Rules. In Proceedings of the Ninth International Joint Conference on Artificial Intelligence, IJCAI-85. IJCAI, 720–721. https://ijcai.org/proceedings/1985/141

@inproceedings{ijcai1985p141,
  title     = {Prolog Control Rules},
  author    = {Naish, Lee},
  booktitle = {Proceedings of the Ninth International Joint Conference on
               Artificial Intelligence, {IJCAI-85}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Aravind Joshi},
  pages     = {720--721},
  year      = {1985},
  note      = {Logic Programming},
  url       = {https://ijcai.org/proceedings/1985/141},
}

TY  - CPAPER
TI  - Prolog Control Rules
AU  - Naish, Lee
T2  - Proceedings of the Ninth International Joint Conference on Artificial Intelligence, IJCAI-85
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1985
SP  - 720
EP  - 721
UR  - https://ijcai.org/proceedings/1985/141
ER  -