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

A depth-first and tool-supportable programming strategy

โœ Scribed by J. C. Huang

Book ID
112210359
Publisher
John Wiley and Sons
Year
1987
Tongue
English
Weight
349 KB
Volume
17
Category
Article
ISSN
0038-0644

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

A declarative semantics for depth-first
A declarative semantics for depth-first logic programs
โœ 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