Outlier Detection by Logic Programming