Short for
Programming Logic, Prolog is a
high-level programming language based on formal logic. Unlike traditional programming languages that are based on performing sequences of
commands, Prolog is based on defining and then solving logical formulas. Prolog is sometimes called a
declarative language or a
rule-based language because its
programs consist of a list of facts and rules. Prolog is used widely for
artificial intelligence applications, particularly
expert systems.