A prolog simulator for deterministic P systems with active membranes

Authors:
Andrés Cord´n-Franco;Miguel A. Gutiérrez-Naranjo;Mario J. Pérez-Jiménez;Fernando Sancho-Caparrini
Affiliations:
Dpto. de Ciencias de la Computación e Inteligencia Artificial, E.T.S. Ingeniería Informática, Universidad de Sevilla, Avda. Reina Mercedes s/n, 41012, Sevilla, Spain;Dpto. de Ciencias de la Computación e Inteligencia Artificial, E.T.S. Ingeniería Informática, Universidad de Sevilla, Avda. Reina Mercedes s/n, 41012, Sevilla, Spain;Dpto. de Ciencias de la Computación e Inteligencia Artificial, E.T.S. Ingeniería Informática, Universidad de Sevilla, Avda. Reina Mercedes s/n, 41012, Sevilla, Spain;Dpto. de Ciencias de la Computación e Inteligencia Artificial, E.T.S. Ingeniería Informática, Universidad de Sevilla, Avda. Reina Mercedes s/n, 41012, Sevilla, Spain
Venue:
New Generation Computing - Membrane computing
Year:
2004

Citing 8
Cited 1

Membrane computing with external output

Fundamenta Informaticae
Computing with membranes

Journal of Computer and System Sciences
Prolog (3rd ed.): programming for artificial intelligence

Prolog (3rd ed.): programming for artificial intelligence
Membrane Computing: An Introduction

Membrane Computing: An Introduction
A guide to membrane computing

Theoretical Computer Science - Natural computing
P System software simulator

Fundamenta Informaticae - Membrane computing
A MzScheme Implementation of Transition P Systems

WMC-CdeA '02 Revised Papers from the International Workshop on Membrane Computing
A Software Simulation of Transition P Systems in Haskell

WMC-CdeA '02 Revised Papers from the International Workshop on Membrane Computing

On descriptive complexity of p systems

WMC'04 Proceedings of the 5th international conference on Membrane Computing

Quantified Score

Hi-index	0.00

Visualization

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 eaeh 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.