From Surf Wiki (app.surf) — the open knowledge base

Syntax and semantics of logic programming

Quality 0.00 · 0 views · Updated 19 days ago

Logic programming is a programming paradigm that includes languages based on formal logic, including Datalog and Prolog. This article describes the syntax and semantics of the purely declarative subset of these languages. Confusingly, the name "logic programming" also refers to a specific programming language that roughly corresponds to the declarative subset of Prolog. Unfortunately, the term must be used in both senses in this article.