Implemetation of the Prolog interpreter with Cuts