Logic programming
From Wiki @ Karl Jones dot com
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
