a computer language designed in Europe to support natural language processing; Prolog, logic programing
creating a program that enables the computer to reason logically
Microsoft Computer Dictionary
n. A style of programming, best exemplified by Prolog, in which a program consists of facts and relationships from which the programming language is expected to draw conclusions. See also Prolog.
