Prolog-based agnostic explanation module for structured pattern classification