Logic programming is a programming paradigm in which programs are expressed as logical facts, rules, and relationships about a problem domain. Systems such as Prolog, Datalog, and answer set programming use inference mechanisms to derive conclusions from those logical statements.
A type of programming paradigm which is largely based on formal logic. Any program written in a logic programming language is a set of sentences in logical form, expressing facts and rules about some problem domain. Major logic programming language families include Prolog, answer set programming (ASP), and Datalog.