---
title: "Prolog in Ten Figures"
authors:
  - "Alain Colmerauer"
doi: ""
url: "https://ijcai.org/proceedings/1983/120"
pdf: "https://ijcai.org/proceedings/1983/0120.pdf"
venue: "Proceedings of the Eighth International Joint Conference on Artificial Intelligence"
year: 1983
pages: "487-498"
track: "Logic Programming"
keywords:
---

# Prolog in Ten Figures

Alain Colmerauer

*Proceedings of the Eighth International Joint Conference on Artificial Intelligence*, 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.