View source for Logic programming

'''Logic programming''' (or rules-based programming) is a [[programming paradigm]] based on [[formal logic]].

== Description ==

A 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) 
* Datalog

== See also ==

* [[Boolean satisfiability problem]]
* [[Computer programming]]
* [[Computer science]]
* [[Constraint logic programming]]
* [[Datalog]]
* [[Functional programming]]
* [[Inductive logic programming]]
* [[Fuzzy logic]]
* [[Logic in computer science]] (includes Formal methods)
* [[Logic programming languages]]
* [[Programming paradigm]]
* [[R++]]
* [[Reasoning system]]
* [[Relational programming]]
* [[Satisfiability]]

== External links ==

* [] @ Wikipedia