Did you know? Logtalk is now a packSearch Documentation:
SWI-Prolog owl logoPredicate atom_number/2