The Foreign Include File

• Argument Passing and Control
  • Non-deterministic Foreign Predicates
• Analysing Terms via the Foreign Interface
• Instantiating and Constructing Terms
• Interaction with the garbage collector and stack-shifter
  • When is locking necessary
• Calling Prolog from C
• Discarding Data
• Calls based on predicate references
• Foreign Code and Modules
• Catching Signals (Software Interrupts)
• Errors and warnings
• Environment Control from Foreign Code
• Querying Prolog
• Registering Foreign Predicates
• Foreign Code Hooks
• Embedding SWI-Prolog in a C-program