A logical semantics for depth-first Prolog with ground negation

Authors:
James Andrews
Affiliations:
-
Venue:
Theoretical Computer Science
Year:
1997

Citing 0
Cited 2

Characterizations of Classes of Programs by Three-Valued Operators

LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
The witness properties and the semantics of the Prolog cut

Theory and Practice of Logic Programming

Quantified Score

Hi-index	5.23

Visualization

Abstract