Cross-References

Occasionally you will see a cross-reference in the text. Cross-references look like (A) in the printed manual, and like (B) in the on-line manual:

     ...see also Section 1.3 [int-dir], page 11 (A)
     

and

     ...see also {manual(int-dir)} (B)
     

If you are not using Emacs, then you should type the following goal in order to follow this cross-reference.

     | ?- manual(int-dir).
     

Under Emacs: There is a more convenient way to do this: type x to move the cursor to the front of the cross-reference, then type <RET> to display the cross-referenced text.