Termination analysis of tabled logic programs using mode and type information

Tabled logic programming is receiving increasing attention in the Logic Programming community. It avoids many of the shortcomings of SLD(NF) execution and provides a more flexible and efficient execution mechanism for logic programs. In particular, tabled execution of logic programs terminates more...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Verbaeten, Sofie, De Schreye, Danny
Format:	Tagungsbericht
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!