Skip to main content
SpringerLink
Log in

A Prolog simulator for deterministic P systems with active membranes

  • Special Feature
  • Published:
New Generation Computing Aims and scope Submit manuscript

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 Reference.10

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Arroyo, F., Luengo, C., Baranda, A. V. and De Mingo, L. F., “A Software Simulation of Transition P Systems in Haskell,”LNCS 2597, pp. 19–32, Springer-Verlag, Berlin, 2003.

    Google Scholar 

  2. Balbontín Noval, D., Pérez Jiménez, M. J. and Sancho Caparrini, F., “A MzScheme implementation of transition P systems,”LNCS 2597, pp. 58–73, Springer-Verlag, Berlin, 2003.

    Google Scholar 

  3. Bratko, I.,PROLOG Programming for Artificial Intelligence, Third edition, Addison-Wesley, 2001.

  4. Ciobanu, G. and Paraschiv, D., “Membrane softwre. A P system simulator,”Fundamenta Informaticae, 49, 1–3, pp. 61–66, 2002.

    MATH  Google Scholar 

  5. Pâun, G., “Computing with membranes,”Journal of Computer and System Sciences, 61, 1, pp. 108–143, 2000.

    Article  MATH  MathSciNet  Google Scholar 

  6. Pâun, G.,Membrane Computing. An Introduction, Springer-Verlag, Berlin, 2002.

    MATH  Google Scholar 

  7. Pâun, G. and Rozenberg, G., “A Guide to Membrane, Computing,”Theoretical Computer Sciences, 287, pp. 73–100, 2002.

    Article  MATH  Google Scholar 

  8. Pâun, G., Rozenberg, G. and Salomaa, A., “Membrane Computing with External Output,”Fundamenta Informaticae, 41, 3, pp. 313–340, 2000.

    MATH  MathSciNet  Google Scholar 

  9. Pérez Jiménez, M. J., Romero-Jiménez, A. and Sancho-Caparrini, F.,Teoría de la Complejidad en modelos de computación celular con membranas, Editorial Kronos, Sevilla, 2002.

  10. Pérez-Jiménez, M. J., Romero-Jiménez, A. and Sancho-Caparrini, F, “The Polynomial Complexity Class in P Systems using Membrane Division,” Submitted.

  11. Suzuki, Y. and Tanaka, H., “On a LISP Implementation of a Class of P Systems,”Romanian J. of Information Science and Technology, 3, 2, pp. 173–186, 2000.

    Google Scholar 

  12. The P Systems Web Page: http://psystems.disco.unimib.it/

  13. Logic Programming: http://www.afm.sbu.ac.uk/logic-prog/

Download references

Author information

Authors and Affiliations

  1. Dpto. de Ciencias de la Computación e Inteligencia Artificial E.T.S. Ingeniería Informática, Universidad de Sevilla, Avda. Reina Mercedes s/n, 41012, Sevilla, Spain

    Andrés Cordón-Franco, Miguel A. Gutiérrez-Naranjo, Mario J. Pérez-Jiménez & Fernando Sancho-Caparrini

Authors
  1. Andrés Cordón-Franco
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Miguel A. Gutiérrez-Naranjo
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Mario J. Pérez-Jiménez
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Fernando Sancho-Caparrini
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Andrés Cordón-Franco: He is a member of the Department of Computer Science and Artificial Intelligence at the University of Sevilla (Spain). He is also a member of the research group on Natural Computing of the University of Seville. His research interest includes Mathematical Logic, Logic in Computer Science, and Membrane Computing, both from a theoretical and from a practical (software implementation) point of view.

Miguel A. Gutiérrez-Naranjo: He is an assistant professor in the Computer Science and Artificial Intelligence Department at University of Sevilla, Spain. He is also a member of the Research Group on Natural Computing of the University of Seville. His research interest includes Machine Learning, Logic Programming and Membrane Computing, both from a theoretical and a practical point of view.

Mario J. Pérez-Jiménez, Ph.D.: He is professor of Department of Computer Science and Artificial Intelligence at University of Seville, where he is the head of the Group of Research on Natural Computing, He has published 8 books of Mathematics and Computation, and more than 90 scientific articles in prestigious scientific journals. He is member of European Molecular Computing Consortium.

Fernando Sancho-Caparrini: He is a member of the Department of Computer Science and Artificial Intelligence at the University of Sevilla (Spain). He is also a member of the research group on Natural Computing of the University of Seville. His research interest includes Complex Systems, DNA Computing, Logic in Computer Science, and Membrane Computing, both from a theoretical and from a practical point of view.

About this article

Cite this article

Cordón-Franco, A., Gutiérrez-Naranjo, M.A., Pérez-Jiménez, M.J. et al. A Prolog simulator for deterministic P systems with active membranes. New Gener Comput 22, 349–363 (2004). https://doi.org/10.1007/BF03037286

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF03037286

Keywords

Search

Navigation