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

Compositional operational semantics for Prolog programs

โœ Scribed by M. H. M. Cheng; R. N. Horspool; M. R. Levy; M. H. van Emden


Book ID
112976949
Publisher
Springer
Year
1992
Tongue
English
Weight
635 KB
Volume
10
Category
Article
ISSN
0288-3635

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Operational and goal-independent denotat
โœ 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

Improving Prolog programs: Refactoring f
โœ SEREBRENIK, ALEXANDER; SCHRIJVERS, TOM; DEMOEN, BART ๐Ÿ“‚ Article ๐Ÿ“… 2008 ๐Ÿ› Cambridge University Press ๐ŸŒ English โš– 760 KB
A semantics for ฮปProlog
โœ D.A. Wolfram ๐Ÿ“‚ Article ๐Ÿ“… 1994 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 666 KB