From The Collaborative International Dictionary of English v.0.48:
Prolog \Pro"log\, n. & v.
Prologue.
[1913 Webster]
From The Collaborative International Dictionary of English v.0.48:
PROLOG \PRO"LOG\ (pr[=o]"l[o^]g), n. (Computers)
A declarative higher-level programming language in which
instructions are written not as explicit procedural
data-manipulation commands, but as logical statements. The
language has built-in resolution procedures for logical
inference.
[PJC]
From The Collaborative International Dictionary of English v.0.48:
higher programming language \higher programming language\ n.
(Computers)
A computer programming language with an instruction set
allowing one instruction to code for several assembly
language instructions.
Note: The aggregation of several assembly-language
instructions into one instruction allows much greater
efficiency in writing computer programs. Most programs
are now written in some higher programming language,
such as BASIC, FORTRAN, COBOL, C, C++,
PROLOG, or JAVA.
[PJC]