Abstract: 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 refere

Key words: Logic programming, →-completion and →- completion, Herbrand model, Consequence operator, Fitting＇s operator