|Did you know ...||Search Documentation:|
The checker can be expanded or restricted by modifying the dynamic multifile hook checker/2.
The checker may be used in batch, e.g., for CI workflows by calling
SWI-Prolog as below. Note that by using
-l to load the program,
the program is not started if it used initialization/2 of type
main to start the program.
swipl -q --on-warning=status --on-error=status \ -g check -t halt -l myprogram.pl