On the Translations of Extended Logic Programs, Two-Valued Logic Programs and Normal Logic Programs

摘要

To discuss the relationships of several logic programs, we introduce some classes of logic programs - extended logic programs (EPams), two-valued logic programs (TPams) and normal logic programs (LPams). We construct the translations between EPams and TPams, the translations between EPams and LPams. The results will pave the way to discuss some other relationships of them, such as expressive ability.