Home › Biblio

A Prolog simulator for deterministic P systems with active membranes

Thu, 11/08/2007 - 12:38 — ana
TitleA Prolog simulator for deterministic P systems with active membranes
Publication TypeJournal Papers
Year of Publication2004
AuthorsCordón-Franco, A., Gutiérrez-Naranjo M. A., Pérez-Jiménez M. J., & Sancho-Caparrini F.
Journal TitleNew Generation Computing
Place PublishedTokyo, Japón
Volume22
Pages349-363
Date Published08/2004
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.
Keywordslogic programming, Membrane computing, prolog, SAT-problem, simulation
URLhttp://portal.acm.org/citation.cfm?id=1044475
Issue4
ISSN Number0288-3635