𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Derivation of logic programs by functional methods

✍ Scribed by A. Bijlsma

Publisher
Elsevier Science
Year
1991
Tongue
English
Weight
661 KB
Volume
39
Category
Article
ISSN
0020-0190

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A residualizing semantics for the partia
A residualizing semantics for the partial evaluation of functional logic programs
✍ Elvira Albert; Michael Hanus; GermΓ‘n Vidal πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 103 KB

Recent proposals for multi-paradigm declarative programming combine the most important features of functional, logic and concurrent programming into a single framework. The operational semantics of these languages is usually based on a combination of narrowing and residuation. In this paper, we intr

Induction of logic programs by example-g
Induction of logic programs by example-guided unfolding
✍ Henrik BostrΓΆm; Peter Idestam-Almquist πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 394 KB

Resolution has been used as a specialisation operator in several approaches to top-down induction of logic programs. This operator allows the overly general hypothesis to be used as a declarative bias that restricts not only what predicate symbols can be used in produced hypotheses, but also how the