Semantics of Fixedpoints on the→-Completion and→-Completion in Three-Valued Logic Programming
Liu Fu · 2006
Logic programming has been widely applied in mechanical theorem proving,relational database system, modularized programming and non-monotone reasoning.This paper is the continuation of reference[8].Two faults on →-completion and→-completion in reference[7]are found by examples.Then the fixedpoints of the consequence op- erator and Fitting's operator are presented,which characterize the semantics on→-completion and→-completion.