Did you know ... Search Documentation:
SWI-Prolog owl logoSwitching between Edinburgh and ISO I/O