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

Unification as a complexity measure for logic programming

โœ Scribed by A. Itai; J.A. Makowsky

Book ID
108016215
Publisher
Elsevier Science
Year
1987
Tongue
English
Weight
968 KB
Volume
4
Category
Article
ISSN
0743-1066

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

A measure of logical complexity of progr
A measure of logical complexity of programs
โœ S.Sitharama Iyengar; N. Parameswaran; John Fuller ๐Ÿ“‚ Article ๐Ÿ“… 1982 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 674 KB
Type dependencies for logic programs usi
Type dependencies for logic programs using ACI-unification
โœ Michael Codish; Vitaly Lagoon ๐Ÿ“‚ Article ๐Ÿ“… 2000 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 197 KB

This paper presents a new notion of typing for logic programs which generalizes the notion of directional types. The generation of type dependencies for a logic program is fully automatic with respect to a given domain of types. The analysis method is based on a novel combination of program abstract