Moreno Falaschi

Professor of Computer Science

Dipartimento di Ingegneria dell'Informazione e Scienze Matematiche
Università di Siena
Italy.

Linda Brodo

Researcher in Computer Science

Dipartimento di Scienze Economiche e Aziendali
Università di Sassari
Italy.

Roberto Bruni

Professor of Computer Science

Dipartimento di Informatica
Università di Pisa
Italy.

A preliminary interpreter in Prolog for verifying logical BioHML formulas on Reaction Systems

A BioHML Prolog Interpreter and some instructions on how to use it

Moreno Falaschi (moreno.falaschi@unisi.it)