Did you know? SWI-Prolog can handle Unix signals