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.
Creating a program that enables the computer to reason logically.