5.6 The Foreign Include File

• 5.6.1 Argument Passing and Control
  • 5.6.1.1 Non-deterministic Foreign Predicates
• 5.6.2 Atoms and functors
• 5.6.3 Analysing Terms via the Foreign Interface
  • 5.6.3.1 Testing the type of a term
  • 5.6.3.2 Reading data from a term
  • 5.6.3.3 Reading a list
  • 5.6.3.4 An example: defining display/1 in C
• 5.6.4 Constructing Terms
• 5.6.5 Unifying data
• 5.6.6 Calling Prolog from C
  • 5.6.6.1 Predicate references
  • 5.6.6.2 Initiating a query from C
• 5.6.7 Discarding Data
• 5.6.8 Foreign Code and Modules
• 5.6.9 Miscellaneous
• 5.6.10 Catching Signals (Software Interrupts)
• 5.6.11 Errors and warnings
• 5.6.12 Environment Control from Foreign Code
• 5.6.13 Querying Prolog
• 5.6.14 Registering Foreign Predicates
• 5.6.15 Foreign Code Hooks
• 5.6.16 Embedding SWI-Prolog in a C-program