𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A unifying theorem for algebraic semantics and dynamic logics

✍ Scribed by H. Andréka; I. Guessarian; I. Németi

Book ID
113383845
Publisher
Elsevier Science
Year
1987
Tongue
English
Weight
817 KB
Volume
72
Category
Article
ISSN
0890-5401

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Algebraic and logical semantics for CLP
Algebraic and logical semantics for CLP languages with dynamic scheduling
✍ Kim Marriott 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 760 KB

The first logic programming languages, such as Prolog, used a fixed left-to-right atom scheduling rule. Unfortunately, this meant that programs written in a clean, declarative style were often very inefficient, only terminated when certain inputs were fully instantiated or "ground," and (if negation