Prolog Doc for ProB