logic programming language
Quick Summary
Logic programming languages are a type of artificial intelligence (AI) programming language. These languages are designed to implement AI research and are based on formal logic. A prominent example is PROLOG (Programmation en Logique), developed in the early 1970s. PROLOG utilizes a theorem-proving technique called resolution, allowing it to determine if a statement logically follows from other given statements. For instance, if given "All logicians are rational" and "Robinson is a logician," PROLOG can confirm that "Robinson is rational." This capability makes logic programming languages useful for AI tasks, particularly in Europe and Japan. The development of these languages is connected to predicate calculus, a branch of symbolic logic that deals with quantifiers and predicates.1234
Ask Britannica AI about this topic
Britannica doesn't have a full article on this topic, so we've curated a list of our relevant coverage.
- computer programming languageDeclarative languages
Logic programming languages, of which PROLOG (programming in logic) is the best known, state a program as a set of logical relations (e.g., a grandparent is the parent of a parent of someone). Such languages are similar to the SQL database language. A program is…
Read MoreLogic programming languages, of which PROLOG (programming in logic) is the best known, state a program as a set of logical relations (e.g., a grandparent is the parent of a parent of someone). Such languages are similar to the SQL database language. A program is…
Read More 
computer scienceProgramming languages… has been used largely for logic programming, and its applications include natural language understanding and expert systems such as MYCIN. Prolog is notably a so-called nonprocedural, or declarative, language in the sense that the programmer specifies what goals are to be accomplished but not how specific methods are to be…
Read More… has been used largely for logic programming, and its applications include natural language understanding and expert systems such as MYCIN. Prolog is notably a so-called nonprocedural, or declarative, language in the sense that the programmer specifies what goals are to be accomplished but not how specific methods are to be…
Read More