A Prolog simulator for deterministic P systems with active membranes

Abstract

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 techniques presented in 10). KeywordsLogic programming, Membrane computing, Simulation, Prolog, SAT-problem §1 IntroductionIn 5) , a new model of computation within the framework of Natural Computing was introduced, called P Systems.It is based upon the notion of membrane structure that is used to enclose computing cells in order to make them independent computing units. Also, a membrane serves as a communication channel between a given cell and other cells "adjacent" to it. This model comes from the observation that the processes

Sevilla Carpets Revisited: Enriching the Membrane Computing Toolbox

“…Note that this represents a notable improvement from previous works, where the process was done manually, after processing the output of simulators for P systems with active membranes written in Prolog ( [4,9]). Now it became a much faster and simpler process, we avoid errors in data due to mistakes when manually building the matrix, and we can cover all the models of P systems included in the P-Lingua framework.…”

A fast P system for finding a balanced 2-partition

“…Some first attempts in this direction have already been made, in the framework of a simulator of P systems in Prolog (see [2]). Several files have been created, containing the instructions to generate the evolution rules that deal with the different problems (following the schemes given in the corresponding designs), and now we are working to put these files together and reuse somehow the information.…”

A proposal of multi-agent simulation system for membrane computing devices

“…In particular, the proposed simulation framework is able to exploit, differently from other existing membrane computing simulation system [1] [2][3] [4][5] [6], the distributed and parallel nature of membrane computing devices by using the multi-agent system concept. The integration of multi-agent systems and membrane computing methodologies allows to achieve different attractive features derived from classical multi-agent system properties: autonomy, distribution, parallelism, mobility [7].…”