Commandline check for completeness of the code

The question came up whether you can check code for undefined predicates with a simple commandline. It isn’t really short, but this works and should be fine for scripts, Makefiles, etc.

swipl --on-warning=status -g list_undefined -t halt -q -l file.pl
5 Likes