more prolog fixes