starting prolog interp