Gravar-mail: Logic programming and artificial neural networks in breast cancer detection