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