{"type":"ScholarlyArticle","title":"Prolog in Ten Figures","authors":[{"name":"Alain Colmerauer","slug":"alain-colmerauer","given":"Alain","family":"Colmerauer","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/1983/120","pdf":"https://ijcai.org/proceedings/1983/0120.pdf","markdown":"https://ijcai.org/proceedings/1983/120.md","bibtex":"https://ijcai.org/proceedings/1983/bibtex/120","volume":{"slug":"1983","title":"Proceedings of the Eighth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1983","url":"https://ijcai.org/proceedings/1983/","year":1983,"location":"Karlsruhe, West Germany","dates":"","editors":"Alan Bundy","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Logic Programming","track":"Logic Programming","number":120,"pages":{"first":487,"last":498},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}