now interacting with prolog!