A Prolog Simulator for Deterministic P Systems with Active Membranes.
Saved in:
| 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 |
| FullText | Links: – Type: pdflink Text: Availability: 0 |
|---|---|
| Header | DbId: egs DbLabel: Engineering Source An: 14954731 AccessLevel: 6 PubType: Academic Journal PubTypeId: academicJournal PreciseRelevancyScore: 0 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: A Prolog Simulator for Deterministic P Systems with Active Membranes. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Cordón-Franco%2C+Andrés%22">Cordón-Franco, Andrés</searchLink><relatesTo>1</relatesTo><i> acordon@us.es</i><br /><searchLink fieldCode="AR" term="%22Gutiérrez-Naranjo%2C+Miguel+A%2E%22">Gutiérrez-Naranjo, Miguel A.</searchLink><relatesTo>1</relatesTo><i> magutier@us.es</i><br /><searchLink fieldCode="AR" term="%22Pérez-Jiménez%2C+mario+J%2E%22">Pérez-Jiménez, mario J.</searchLink><relatesTo>1</relatesTo><i> marper@us.es</i><br /><searchLink fieldCode="AR" term="%22Sancho-Caparrini%2C+Fernando%22">Sancho-Caparrini, Fernando</searchLink><relatesTo>1</relatesTo><i> fsancho@us.es</i> – Name: TitleSource Label: Source Group: Src Data: <searchLink fieldCode="JN" term="%22New+Generation+Computing%22">New Generation Computing</searchLink>. 2004, Vol. 22 Issue 4, p349-363. 15p. – Name: Subject Label: Subjects Group: Su Data: <searchLink fieldCode="DE" term="%22Prolog+%28Computer+program+language%29%22">Prolog (Computer program language)</searchLink><br /><searchLink fieldCode="DE" term="%22Logic+programming+languages%22">Logic programming languages</searchLink><br /><searchLink fieldCode="DE" term="%22Programming+languages%22">Programming languages</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+systems%22">Computer systems</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+simulation%22">Computer simulation</searchLink><br /><searchLink fieldCode="DE" term="%22Electronic+systems%22">Electronic systems</searchLink> – Name: Abstract Label: Abstract Group: Ab Data: 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] – Name: AbstractSuppliedCopyright Label: Group: Ab Data: <i>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.</i> (Copyright applies to all Abstracts.) |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=14954731 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.1007/BF03037286 Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 15 StartPage: 349 Subjects: – SubjectFull: Prolog (Computer program language) Type: general – SubjectFull: Logic programming languages Type: general – SubjectFull: Programming languages Type: general – SubjectFull: Computer systems Type: general – SubjectFull: Computer simulation Type: general – SubjectFull: Electronic systems Type: general Titles: – TitleFull: A Prolog Simulator for Deterministic P Systems with Active Membranes. Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Cordón-Franco, Andrés – PersonEntity: Name: NameFull: Gutiérrez-Naranjo, Miguel A. – PersonEntity: Name: NameFull: Pérez-Jiménez, mario J. – PersonEntity: Name: NameFull: Sancho-Caparrini, Fernando IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 10 Text: 2004 Type: published Y: 2004 Identifiers: – Type: issn-print Value: 02883635 Numbering: – Type: volume Value: 22 – Type: issue Value: 4 Titles: – TitleFull: New Generation Computing Type: main |
| ResultId | 1 |
