demo prolog.pro