𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Modularization and abstraction in logic programming

✍ Scribed by Koichi Furukawa; Reiji Nakajima; Akinori Yonezawa

Book ID
112976833
Publisher
Springer
Year
1983
Tongue
English
Weight
336 KB
Volume
1
Category
Article
ISSN
0288-3635

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Enumeration operators and modular logic
Enumeration operators and modular logic programming
✍ Melvin Fitting πŸ“‚ Article πŸ“… 1987 πŸ› Elsevier Science 🌐 English βš– 756 KB

## An operational and a minimal model semantics for logic programming modules is introduced. It is shown that this semantics corresponds to the recursion theoretic notion of enumeration operator. Basic operations on modules, such as composition and recursion, are discussed. The adequacy of these

Abstraction in Algorithmic Logic
Abstraction in Algorithmic Logic
✍ Wayne Aitken; Jeffrey A. Barrett πŸ“‚ Article πŸ“… 2007 πŸ› Springer Netherlands 🌐 English βš– 413 KB