Prolog 4.0 – też tam byliśmy