Difference between revisions of "Logic programming"
From Wiki @ Karl Jones dot com
Karl Jones (Talk | contribs) (→External links) |
Karl Jones (Talk | contribs) (→External links) |
||
| Line 32: | Line 32: | ||
* [https://en.wikipedia.org/wiki/Logic_programming Logic programming] @ 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
