Add prolog examples