Examples

Examples illustrating interactive terminal sessions show what the user types in as well as system output. The operating system prompt is represented as % in examples. For example:

     % prolog +
     | ?- display(a+b).
     +(a,b)
     yes