The realization of Naive Bayes algorithm in the logic programming framework PROLOG | IEEE Conference Publication | IEEE Xplore