Logic-based Programming Language
Jump to navigation
Jump to search
A Logic-based Programming Language is a Declarative Programming Language that is based on restricted forms of Logic Statements (e.g. Horn Clauses).
- AKA: Logic Programming Language.
- Context:
- It can be associated with a Logic-based Computer Program.
- It can provide nondeterminism and predicates with multiple input/output modes that offer Code Reuse.
- It can be based on Predicate Logic.
- Example(s):
- Counter-Example(s):
- See: Imperative Programming Language.