Prolog realization