Did you know? You can get COLORED text on the command lineSearch Documentation:
SWI-Prolog owl logoPredicate ;/2