Cordón Franco, AndrésGutiérrez Naranjo, Miguel ÁngelPérez Jiménez, Mario de JesúsSancho Caparrini, Fernando2016-11-152016-11-152004Cordón Franco, A., Gutiérrez Naranjo, M.Á., Pérez Jiménez, M.d.J. y Sancho Caparrini, F. (2004). A Prolog Simulator for Deterministic P Systems with Active Membranes. New Generation Computing, 22 (4), 349-363.0288-3635http://hdl.handle.net/11441/48591In 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 inapplication/pdfengAttribution-NonCommercial-NoDerivatives 4.0 Internacionalhttp://creativecommons.org/licenses/by-nc-nd/4.0/Logic programmingMembrane ComputingSimulationPrologSAT-probleminfo:eu-repo/semantics/articleinfo:eu-repo/semantics/openAccesshttps://doi.org/10.1007/BF03037286