Intensional negation of logic programs: examples and implementation techniques

Authors:
R. Barbuti;P. Mancarella;D. Pedreschi;F. Turini
Affiliations:
Univ. di Pisa, Pisa, Italy;Univ. di Pisa, Pisa, Italy;Univ. di Pisa, Pisa, Italy;Univ. di Pisa, Pisa, Italy
Venue:
II and Colloquium on Functional and Logic Programming and Specifications (CFLP) on TAPSOFT '87: Advanced Seminar on Foundations of Innovative Software Development
Year:
1987

Citing 0
Cited 3

First order compiler: A deterministic logic program synthesis algorithm

Journal of Symbolic Computation
Efficient Negation Using Abstract Interpretation

LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
How to Incorporate Negation in a Prolog Compiler

PADL '00 Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages

Quantified Score

Hi-index	0.00

Visualization

Abstract