Cellular automata can represent real-world phenomena studied in physics and biology, and have been applied to intelligent systems like artificial life and multi-agent systems. In this paper, we study a semantic preserving transformation between cellular automata and normal logic programs based on the TP -operator. In particular, a subset of normal logic programs is shown to precisely correspond...