A prolog simulator for deterministic P systems with active membranes

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.

Año de publicación:

2004

Keywords:

• Logic Programming
• Simulation
• SAT-problem
• Membrane Computing
• Prolog

Fuente:

scopus