1) AI language 2) AI computer language 3) Bit of an intro 4) Computer programming language 5) Intro 6) Intro material 7) Introduction 8) Introductory bit 9) Language akin to lisp 10) Literary intro 11) Logic programing 12) Logic programming 13) Programing language 14) Programming language 1) Intro 
Prolog is a general purpose logic programming language associated with artificial intelligence and computational linguistics. Prolog has its roots in first-order logic, a formal logic, and unlike many other programming languages, Prolog is declarative: the program logic is expressed in terms of relations, represented as facts and rules. A computat...
• (n. & v.) Prologue.
a high level computer language often associated with artificial intelligence programming
(from the article `artificial intelligence`) The logic programming language PROLOG (Programmation en Logique) was conceived by Alain Colmerauer at the University of Aix-Marseille, France, where ... Logic programming languages, of which PROLOG (programming in logic) is the best known, state a program as a set of logical relations (e.g., ...
PROgramable LOGic. [ prolog.glossary.html ]
Programming In Logic (Programming Language)(See HLL)
Pro'log noun & v. Prologue. 
Prolog is a computer programming language used mainly for artificial intelligence.
[n] - a computer language designed in Europe to support natural language processing
logic programing noun a computer language designed in Europe to support natural language processing