Logic Programming

← Back to Domain-Specific Abstractions by Domain

2 domain-specific abstractions whose origin domain is Logic Programming.

• Well-founded semantics — A unique three-valued semantics for general logic programs that assigns each ground atom true, false or undefined.
• ΛProlog — A higher-order typed logic-programming language using hereditary Harrop formulas, lambda-tree syntax, and higher-order unification to represent binding structures declaratively.