Repositorio de producción científica de la Universidad de Sevilla

A Prolog Simulator for Deterministic P Systems with Active Membranes

 

Advanced Search
 
Opened Access A Prolog Simulator for Deterministic P Systems with Active Membranes
Cites

Show item statistics
Icon
Export to
Author: Cordón Franco, Andrés
Gutiérrez Naranjo, Miguel Ángel
Pérez Jiménez, Mario de Jesús
Sancho Caparrini, Fernando
Department: Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial
Date: 2004
Published in: New Generation Computing, 22 (4), 349-363.
Document type: Article
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
Cite: Cordón Franco, A., Gutiérrez Naranjo, M.Á., Pérez Jiménez, M.d.J. y Sancho Caparrini, F. (2004). A Prolog Simulator for Deterministic P Systems with Active Membranes. New Generation Computing, 22 (4), 349-363.
Size: 245.1Kb
Format: PDF

URI: http://hdl.handle.net/11441/48591

DOI: 10.1007/BF03037286

See editor´s version

This work is under a Creative Commons License: 
Attribution-NonCommercial-NoDerivatives 4.0 Internacional

This item appears in the following Collection(s)