noun PROLOG 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.
Collaborative International Dictionary of English 0.48
|