Intelligent Image Processing in Prolog | EKB DL