Application of inductive logic programming for learning ECG waveforms