ON FUNCTIONAL SYMBOL-FREE LOGIC PROGRAMS L.A. Haykazyan
In the present article logic programs (both with and without negation) that do not use functional symbols are studied. Three algorithmic problems for functional symbol-free programs are investigated: the existence of a solvable interpreter, the problem of Δ-equivalence and the problem of logical equivalence. The first two problems are known to be decidable for functional symbol-free definite programs. We show that the third one is also decidable for such programs. In contrast, all three problems are shown to be undedicable for functional symbol-free general programs.
DOI: 10.46991/PYSUA.2012.46.1.043 Physical and Mathematical Sciences, 46(1 (227) 43-48