𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A semantics for λProlog

✍ Scribed by D.A. Wolfram

Publisher
Elsevier Science
Year
1994
Tongue
English
Weight
666 KB
Volume
136
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A pragmatic reconstruction of λProlog
A pragmatic reconstruction of λProlog
✍ Catherine Belleannée; Pascal Brisset; Olivier Ridoux 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 294 KB

kProlog is a logic programming language in which hereditary Harrop formulas generalize Horn formulas, and simply typed k-terms generalize Prolog terms. One may wonder if these extensions are simultaneously required, and if useful subsets of kProlog can be de®ned, at least for pedagogical purposes. W

Operational and goal-independent denotat
Operational and goal-independent denotational semantics for Prolog with cut
✍ Fausto Spoto 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 454 KB

In this paper we propose an operational and a denotational semantics for Prolog. We deal with the control rules of Prolog and the cut operator. Our denotational semantics provides a goal-independent semantics. This means that the behaviour of a goal in a program is de®ned as the evaluation of the go