๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Semantics of a declarative language

โœ Scribed by G. Mints; E. Tyugu


Book ID
113162940
Publisher
Elsevier Science
Year
1986
Tongue
English
Weight
284 KB
Volume
23
Category
Article
ISSN
0020-0190

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


A declarative coordination language
โœ Paolo Ciancarini; Daniela Fogli; Mauro Gaspari ๐Ÿ“‚ Article ๐Ÿ“… 2000 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 433 KB
A declarative semantics for depth-first
โœ Birgit Elbl ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 438 KB

Depth-ยฎrst evaluation causes a gap between the result of the computation and the classical declarative semantics for logic programs. The paper presents a new semantics for logic programs closing that gap. Although not classical, this semantics, called biquantale semantics, is declarative, since it i