prolog bugfixes