Prolog realization


slide: Prolog realization