Decidability of the Clark's Completion Semantics for Monadic Programs and Queries

Levon Haykazyan

There are many different semantics for general logic programs (i.e. programs that use negation in the bodies of clauses). Most of these semantics are Turing complete (in a sense th…