Prolog in Ten Figures

Colmerauer, Alain

Prolog in Ten Figures

Download BibTeX Cite

Proceedings of the Eighth International Joint Conference on Artificial Intelligence. Logic Programming. Pages 487-498.

Abstract

Prolog is pre sent ed in a rigourous way, through 10 easil y understandable figures. Its theoretical model is completl y rewrought. After introducing infinite trees and inequalities, this paper puts forth the minimal set of concepts necessary ~o give Prolog an autonomous e x istence, independent of length y considerations about first order logic and inference rules. My stery is sacrificed in favor of clarity.

Alain Colmerauer. 1983. Prolog in Ten Figures. In Proceedings of the Eighth International Joint Conference on Artificial Intelligence, IJCAI-83. IJCAI, 487–498. https://ijcai.org/proceedings/1983/120

@inproceedings{ijcai1983p120,
  title     = {Prolog in Ten Figures},
  author    = {Colmerauer, Alain},
  booktitle = {Proceedings of the Eighth International Joint Conference on
               Artificial Intelligence, {IJCAI-83}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Alan Bundy},
  pages     = {487--498},
  year      = {1983},
  note      = {Logic Programming},
  url       = {https://ijcai.org/proceedings/1983/120},
}

TY  - CPAPER
TI  - Prolog in Ten Figures
AU  - Colmerauer, Alain
T2  - Proceedings of the Eighth International Joint Conference on Artificial Intelligence, IJCAI-83
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1983
SP  - 487
EP  - 498
UR  - https://ijcai.org/proceedings/1983/120
ER  -