A prolog simulator for deterministic P systems with active membranes

摘要

In this paper we propose a new way to represent P systems with active membranes based on Logic Programming techniques. This representation allows us to express the set of rules and the configuration of the P system in each step of the evolution as literals of an appropriate language of first order logic. We provide a Prolog program to simulate the evolution of these P systems and present some auxiliary tools to simulate the evolution of a, P system with active membranes using 2-division which solves the SAT problem following the techniqnes presented in Reference.