New Generation Computing, 22(2004)349-363
Ohmsha, Ltd. and Springer

A Prolog Simulator for Deterministic P Systems with Active Membranes

Andrés CORDÓN-FRANCO, Miguel A. GUTIÉRREZ-NARANJO,
Mario J. PÉREZ-JIMÉNEZ, Fernando SANCHO-CAPARRINI
Dpto. de Ciencias de la Computación e Inteligencia Artificial
E.T.S. Ingenieria Informatica. Universidad de Sevilla
Avda. Reina Mercedes s/n, 41012, Sevilla, Spain
{acordon,magutier,marper,fsancho}@us.es

Received 10 March 2003
Revised manuscript received 30 June 2003

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 Reference 10).

Keywords:Logic Programming, Membrane Computing, Simulation, Prolog, SAT-problem.

[Back]