A prolog simulator for deterministic P systems with active membranes

New Generation Computing

Volumn 22, Issue 4, 2004, Pages 349-363

  Cordón Franco, Andrés ^a   Gutiérrez Naranjo, Miguel A ^a   Pérez JIMÉNEZ, Mario J ^a   Sancho Caparrini, Fernando ^a  

^a UNIVERSITY OF SEVILLE   (Spain)

Author keywords

Logic Programming; Membrane Computing; Prolog; SAT problem; Simulation

Indexed keywords

ALGORITHMS; ARTIFICIAL INTELLIGENCE; CELLS; COMPUTATIONAL COMPLEXITY; COMPUTER SIMULATION; LOGIC PROGRAMMING; MEMBRANES; PROBLEM SOLVING; PROLOG (PROGRAMMING LANGUAGE); SIMULATORS;

MEMBRANE COMPUTING; P SYSTEMS; PROLOG SIMULATOR; SAT-PROBLEM;

PARALLEL PROCESSING SYSTEMS;

EID: 5044250591     PISSN: 02883635     EISSN: None     Source Type: Journal    
DOI: 10.1007/BF03037286     Document Type: Conference Paper

References (13)

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.
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.
3. Bratko, I., PROLOG Programming for Artificial Intelligence, Third edition, Addison-Wesley, 2001.
4. Ciobanu, G. and Paraschiv, D., "Membrane software. A P system simulator," Fundaments Informaticae, 49, 1-3, pp. 61-66, 2002.
5. Pǎun, G., "Computing with membranes," Journal of Computer and System Sciences, 61, 1, pp. 108-143, 2000.
6. Pǎun, G., Membrane Computing. An Introduction, Springer-Verlag, Berlin, 2002.
7. Pǎun, G. and Rozenberg, G., "A Guide to Membrane Computing," Theoretical Computer Sciences, 287, pp. 73-100, 2002.
8. Pǎun, G., Rozenberg, G. and Salomaa, A., "Membrane Computing with External Output," Fundamenta Informaticae, 41, 3, pp. 313-340, 2000.
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.
12. The P Systems Web Page: http://psystems.disco.unimib.it/
13. Logic Programming: http://www.afm.sbu.ac.uk/logic-prog/