Difference between revisions of "Logic programming"

Revision as of 17:37, 13 March 2016

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