Node:Calling C from Prolog, Next:Calling C++ from Prolog, Previous:CPL Notes, Up:Mixing C and Prolog

Calling C from Prolog

Functions written in the C language may be called from Prolog using an interface in which automatic type conversions between Prolog terms and common C types are declared as Prolog facts. Calling without type conversion can also be specified, in which case the arguments and values are passed as SP_term_refs. This interface is partly modeled after Quintus Prolog.

The functions installed using this foreign language interface may invoke Prolog code and use the support functions described in the other sections of this chapter.

Functions, or their equivalent, in any other language having C compatible calling conventions may also be interfaced using this interface. When referring to C functions in the following, we also include such other language functions. Note however that a C compiler is needed since a small amount of glue code (in C) must be generated for interfacing purposes.

• Foreign Resources: Foreign Resources
• Conversion Declarations: Conversion Declarations
• Conversions between Prolog Arguments and C Types: Conversions between Prolog Arguments and C Types
• Interface Predicates: Interface Predicates
• The Foreign Resource Linker: The Foreign Resource Linker
• splfr UNIX: Creating Dynamic Linked Foreign Resources Manually under UNIX
• Init and Deinit Functions: Init and Deinit Functions
• Creating the Linked Foreign Resource: Creating the Linked Foreign Resource
• An Alternative Way to Define C Predicates: An Alternative Way to Define C Predicates