Bibliographic Details
| Title: |
A Prolog Simulator for Deterministic P Systems with Active Membranes. |
| Authors: |
Cordón-Franco, Andrés1 acordon@us.es, Gutiérrez-Naranjo, Miguel A.1 magutier@us.es, Pérez-Jiménez, mario J.1 marper@us.es, Sancho-Caparrini, Fernando1 fsancho@us.es |
| Source: |
New Generation Computing. 2004, Vol. 22 Issue 4, p349-363. 15p. |
| Subjects: |
Prolog (Computer program language), Logic programming languages, Programming languages, Computer systems, Computer simulation, Electronic systems |
| 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 stimulate the evolution of these P systems and present some auxiliary tools to stimulate the evolution of a P system with active membranes using 2-division which solves the SAT problem following the techniques presented in Reference 101. [ABSTRACT FROM AUTHOR] |
|
Copyright of New Generation Computing is the property of Springer Nature and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) |
| Database: |
Engineering Source |
