more prolog configurability