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