Did you know? You can get COLORED text on the command lineSearch Documentation:
SWI-Prolog owl logoThe SWI-Prolog FAQ