Localizing and Explaining Reasons for Non-terminating Logic Programs with Failure-Slices

Authors:
Ulrich Neumerkel;Frédéric Mesnard
Affiliations:
-;-
Venue:
PPDP '99 Proceedings of the International Conference PPDP'99 on Principles and Practice of Declarative Programming
Year:
1999

Citing 0
Cited 3

Classes of terminating logic programs

Theory and Practice of Logic Programming
Declarative language extensions for prolog courses

Proceedings of the 2008 international workshop on Functional and declarative programming in education
Non-termination analysis and cost-based query optimization of logic programs

RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract