Difference between revisions of "Logic programming"
From Wiki @ Karl Jones dot com
Karl Jones (Talk | contribs) (Created page with "'''Logic programming''' (or rules-based programming) is a programming paradigm based on formal logic. == Description == A program written in a logic programming lang...") |
Karl Jones (Talk | contribs) (→External links) |
||
| (One intermediate revision by the same user not shown) | |||
| Line 31: | Line 31: | ||
== External links == | == External links == | ||
| − | * [] @ Wikipedia | + | * [https://en.wikipedia.org/wiki/Logic_programming Logic programming] @ Wikipedia |
| + | |||
| + | [[Category:Computer programming]] | ||
| + | [[Category:Computer science]] | ||
| + | [[Category:Logic]] | ||
Latest revision as of 15:40, 20 April 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
- Logic programming @ Wikipedia
