short prolog snippet