prolog mode