Hi, I am trying to find in documentation a list of prolog flags I can't gleen them from current_prolog_flag/2 since it it gives deterministic exit: | ?- current_prolog_flag(X,Y),write(X=Y),nl,fail. unknown=error no | ?- Thank you, Douglas