In the jargon, this is sometimes known as "invoking Prolog". Launch a Terminal session. Type sicstus at the prompt.
The characters '| ?-' are known as the "Prolog prompt".
