Logic programming language | computing | Britannica (original) (raw)

Learn about this topic in these articles:

description

• In computer programming language: Declarative languages
  Logic programming languages, of which PROLOG (_pro_gramming in _log_ic) 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
• 
  In computer science: Programming 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