In this paper, we present an approach where Answer Set Programming is used for analyzing the conformance of execution traces, describing the treatment of individual patients, to Computer-Interpretable Guidelines (CIGs) in the medical domain. The problem is challenging because the CIG for a given pathology describes the most typical treatments for that pathology and cannot take into account all the specific cases that may occur for a specific patient, being them contraindications, temporary conditions of the patient, or other major pathologies. Deviations (also in the timing) from a single guideline may then be explainable using general medical knowledge or knowledge about the interaction between pathologies or treatments.