Did you know ... Search Documentation:
Pack lsp_server -- prolog/lsp_checking.pl
PublicShow source
 check_errors(+Path:atom, -Errors:List) is det
Errors is a list of the errors in the file given by Path. This predicate changes the user:message_hook/3 hook.