Changed prolog extensions