ensure_valid_display/2

     ensure_valid_display(+Display, +Goal)
     

Display is a valid display. If it's not, an error message mentioning Goal is printed, and execution is aborted.