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

The Science of Programming || Programming as a Goal-Oriented Activity

โœ Scribed by Gries, David


Book ID
120244969
Publisher
Springer New York
Year
1981
Weight
688 KB
Category
Article
ISBN
1461259835

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


A survey of goal programming
โœ Kornbluth, Jsh ๐Ÿ“‚ Article ๐Ÿ“… 1973 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 655 KB
Oriented equational clauses as a program
โœ Laurent Fribourg ๐Ÿ“‚ Article ๐Ÿ“… 1984 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 844 KB

In the #Prolog language, Horn clauses of first-order logic are regarded as programs, and the resolution procedure is used as an interpreter. In this paper, we present the formalism of Horn oriented equational clauses (Horn clauses with a rewrite rule as the head part, and a list of equations as the