Abstract
In this work we present GOSpeL, a simple graphical lan-guage for modeling guidelines in a flow-chart fashion, and an algo-rithm capable of translating a GOSpeL model to a formal language based on computational logic and abductive logic programming in particular. The main advantage of this formalism lies in its opera-tional proof-theoretic counterpart, which is able to verify the confor-mance of a given guideline execution w.r.t. the model, both at run-time or a posteriori. The feasibility of the approach has been tested on fragments of cancer screening protocols.