logic programming
Sign in to saveAlso known as use logic programming
programming paradigm based on formal logic
~40 min read
Encyclopedic overview
Logic programming is a programming, database and knowledge representation paradigm based on formal logic. A logic program is a set of sentences in logical form, representing knowledge about some problem domain. Computation is performed by applying logical reasoning to that knowledge, to solve problems in the domain. Major logic programming language families include Prolog, Answer Set Programming (ASP) and Datalog. In all of these languages, rules are written in the form of clauses:
A :- B1, ..., Bn.
Excerpted from Wikipedia’s “logic programming” article, available under the CC BY-SA 4.0 licence.