<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Andrés Cordón-Franco</style></author><author><style face="normal" font="default" size="100%">Miguel A. Gutiérrez-Naranjo</style></author><author><style face="normal" font="default" size="100%">Mario J. Pérez-Jiménez</style></author><author><style face="normal" font="default" size="100%">Fernando Sancho-Caparrini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">A Prolog simulator for deterministic P systems with active membranes</style></title><secondary-title><style face="normal" font="default" size="100%">New Generation Computing</style></secondary-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">logic programming</style></keyword><keyword><style  face="normal" font="default" size="100%">Membrane computing</style></keyword><keyword><style  face="normal" font="default" size="100%">prolog</style></keyword><keyword><style  face="normal" font="default" size="100%">SAT-problem</style></keyword><keyword><style  face="normal" font="default" size="100%">simulation</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">2004</style></year><pub-dates><date><style  face="normal" font="default" size="100%">08/2004</style></date></pub-dates></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://portal.acm.org/citation.cfm?id=1044475</style></url></web-urls></urls><pub-location><style face="normal" font="default" size="100%">Tokyo, Japón</style></pub-location><volume><style face="normal" font="default" size="100%">22</style></volume><pages><style face="normal" font="default" size="100%">349-363   </style></pages><abstract><style face="normal" font="default" size="100%">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. 


</style></abstract><issue><style face="normal" font="default" size="100%">4</style></issue></record></records></xml>