@article {80,
	title = {A Prolog simulator for deterministic P systems with active membranes},
	journal = {New Generation Computing},
	volume = {22},
	year = {2004},
	month = {08/2004},
	pages = {349-363   },
	address = {Tokyo, Jap{\'o}n},
	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. 


},
	keywords = {logic programming, Membrane computing, prolog, SAT-problem, simulation},
	issn = {0288-3635 },
	url = {http://portal.acm.org/citation.cfm?id=1044475},
	author = {Andr{\'e}s Cord{\'o}n-Franco and Miguel A. Guti{\'e}rrez-Naranjo and Mario J. P{\'e}rez-Jim{\'e}nez and Fernando Sancho-Caparrini}
}
