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...

Celý popis

Podrobná bibliografie

Vydáno v:	Theoretical computer science Ročník 975; s. 114107
Hlavní autor:	Drabent, Włodzimierz
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier B.V 09.10.2023
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!