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

ver descrição completa

Detalhes bibliográficos
Autores: Cordón Franco, Andrés, Gutiérrez Naranjo, Miguel Ángel, Pérez Jiménez, Mario de Jesús, Sancho Caparrini, Fernando
Formato: artículo
Estado:Versión enviada para evaluación y publicación
Fecha de publicación:2004
País:España
Recursos:Universidad de Sevilla (US)
Repositorio:idUS. Depósito de Investigación de la Universidad de Sevilla
OAI Identifier:oai:idus.us.es:11441/48591
Acesso em linha:http://hdl.handle.net/11441/48591
https://doi.org/10.1007/BF03037286
Access Level:acceso abierto
Palavra-chave:Logic programming
Membrane Computing
Simulation
Prolog
SAT-problem
id ES_ad5ad76b3683c537d1904aa03cdf8e2e
oai_identifier_str oai:idus.us.es:11441/48591
network_acronym_str ES
network_name_str España
repository_id_str
spelling A Prolog Simulator for Deterministic P Systems with Active MembranesCordón Franco, AndrésGutiérrez Naranjo, Miguel ÁngelPérez Jiménez, Mario de JesúsSancho Caparrini, FernandoLogic programmingMembrane ComputingSimulationPrologSAT-problemIn 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 inMinisterio de Ciencia y Tecnología TIC2002-04220-C03-01SpringerCiencias de la Computación e Inteligencia ArtificialTIC193: Computación NaturalMinisterio de Ciencia y Tecnología (MCYT). España2004info:eu-repo/semantics/articleinfo:eu-repo/semantics/submittedVersionapplication/pdfapplication/pdfhttp://hdl.handle.net/11441/48591https://doi.org/10.1007/BF03037286reponame:idUS. Depósito de Investigación de la Universidad de Sevillainstname:Universidad de Sevilla (US)InglésNew Generation Computing, 22 (4), 349-363.TIC2002-04220-C03-01http://link.springer.com/article/10.1007%2FBF03037286info:eu-repo/semantics/openAccessoai:idus.us.es:11441/485912026-06-17T12:51:07Z
dc.title.none.fl_str_mv A Prolog Simulator for Deterministic P Systems with Active Membranes
title A Prolog Simulator for Deterministic P Systems with Active Membranes
spellingShingle A Prolog Simulator for Deterministic P Systems with Active Membranes
Cordón Franco, Andrés
Logic programming
Membrane Computing
Simulation
Prolog
SAT-problem
title_short A Prolog Simulator for Deterministic P Systems with Active Membranes
title_full A Prolog Simulator for Deterministic P Systems with Active Membranes
title_fullStr A Prolog Simulator for Deterministic P Systems with Active Membranes
title_full_unstemmed A Prolog Simulator for Deterministic P Systems with Active Membranes
title_sort A Prolog Simulator for Deterministic P Systems with Active Membranes
dc.creator.none.fl_str_mv Cordón Franco, Andrés
Gutiérrez Naranjo, Miguel Ángel
Pérez Jiménez, Mario de Jesús
Sancho Caparrini, Fernando
author Cordón Franco, Andrés
author_facet Cordón Franco, Andrés
Gutiérrez Naranjo, Miguel Ángel
Pérez Jiménez, Mario de Jesús
Sancho Caparrini, Fernando
author_role author
author2 Gutiérrez Naranjo, Miguel Ángel
Pérez Jiménez, Mario de Jesús
Sancho Caparrini, Fernando
author2_role author
author
author
dc.contributor.none.fl_str_mv Ciencias de la Computación e Inteligencia Artificial
TIC193: Computación Natural
Ministerio de Ciencia y Tecnología (MCYT). España
dc.subject.none.fl_str_mv Logic programming
Membrane Computing
Simulation
Prolog
SAT-problem
topic Logic programming
Membrane Computing
Simulation
Prolog
SAT-problem
description 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
publishDate 2004
dc.date.none.fl_str_mv 2004
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/submittedVersion
format article
status_str submittedVersion
dc.identifier.none.fl_str_mv http://hdl.handle.net/11441/48591
https://doi.org/10.1007/BF03037286
url http://hdl.handle.net/11441/48591
https://doi.org/10.1007/BF03037286
dc.language.none.fl_str_mv Inglés
language_invalid_str_mv Inglés
dc.relation.none.fl_str_mv New Generation Computing, 22 (4), 349-363.
TIC2002-04220-C03-01
http://link.springer.com/article/10.1007%2FBF03037286
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
application/pdf
dc.publisher.none.fl_str_mv Springer
publisher.none.fl_str_mv Springer
dc.source.none.fl_str_mv reponame:idUS. Depósito de Investigación de la Universidad de Sevilla
instname:Universidad de Sevilla (US)
instname_str Universidad de Sevilla (US)
reponame_str idUS. Depósito de Investigación de la Universidad de Sevilla
collection idUS. Depósito de Investigación de la Universidad de Sevilla
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869416432411869184
score 15,228081

Registos relacionados