A relaxed condition for avoiding the occur-check

We generalize the notion of “not subject to occur-check” (NSTO), on which most known results on avoiding the occur-check in logic programming are based. NSTO means that unification is performed only on such pairs of atoms for which the occur-check never succeeds in any run of a nondeterministic unif...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Theoretical computer science Jg. 975; S. 114107
1. Verfasser:	Drabent, Włodzimierz
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier B.V 09.10.2023
Schlagworte:	Delays/coroutining Logic programming Modes Occur-check Selection rule SLD-resolution Unification Modes Logic programming Unification Occur-check Selection rule Delays/coroutining SLD-resolution
ISSN:	0304-3975
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!