SWI-Prolog Did You Know Did you know? SWI-Prolog can handle Unix signals Search Documentation:
library(doc_files): Create stand-alone documentation files