Classifying ECG Waveforms in Prolog