Did you know? SWI-Prolog can track open source licensesSearch Documentation:
SWI-Prolog owl logoPredicate writef/2