The Foreign Include File

• Argument Passing and Control
  • Non-deterministic Foreign Predicates
  
  
• Analysing Terms via the Foreign Interface
• Instantiating and Constructing Terms
• Calling Prolog from C
• Discarding Data
• Foreign Code and Modules
• Catching Unix Signals
• Errors and warnings
• Environment Control from Foreign Code
• Querying Prolog
• Registering Foreign Predicates