Gravar-mail: Reconciling Pairs of Concurrently Used Clinical Practice Guidelines Using Constraint Logic Programming