7 Specification of the C interface

Below we give a reference of the functionality provided by the C and C++ interface.

• 7.1 General Remarks

• 7.2 Data types

• 7.3 Declaration

• 7.4 Accessing arguments
  • 7.4.1 Accessing input arguments
  • 7.4.2 Accessing output arguments

• 7.5 Type testing

• 7.6 Conversion

• 7.7 Term access and construction

• 7.8 Exceptions

• 7.9 Unification

• 7.10 Threads

• 7.11 Printing

• 7.12 Miscellaneous

• 7.13 Garbage collection

• 7.14 Concurrent Input and Output