Logic programming is a programming paradigm based on formal logic. 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) and Datalog.
| Attributes | Values |
|---|---|
| rdfs:comment |
|
| is field of | |
| is genre of | |
| is influenced by of | |
| is known for of |