prolog predicates for displaying image