@techreport{R-93-38, TITLE = {On Completeness of SLDNF-Resolution}, AUTHOR = {Wlodzimierz Drabent}, YEAR = {1993}, NUMBER = {R-93-38}, INSTITUTION = ida, ADDRESS = idaaddr, ABSTRACTURL = {/publications/cgi-bin/tr-fetch.pl?r-93-38+abstr}, ABSTRACT = {In this paper we prove completeness of SLDNF-resolution for arbitrary programs, fair computation rules and non-floundering queries. For this we need an appropriate notion of floundering. We introduce two versions of this notion, one simple but crude, the other more sophisticated. We also show how the 3-valued completion semantics can be expressed in terms of the classical 2-valued logic.}, IDANR = {LiTH-IDA-R-93-38}, NOTE = {This material was presented at a poster session at International Logic Programming Symposium, Vancouver, Canada, October 1993}