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