6.2.7 Creating the Linked Foreign Resource

Suppose we have a Prolog source file ex.pl containing:

% ex.pl

foreign(f1, p1(+integer,[-integer])).
foreign(f2, p2(+integer,[-integer])).
foreign_resource(ex, [f1,f2]).
:- load_foreign_resource(ex).

and a C source file ex.c with definitions of the functions f1 and f2, both returning SP_integer and having an SP_integer as the only parameter. The conversion declarations in ex.pl state that these functions form the foreign resource ex. Normally, the C source file should contain the following two line near the beginning (modulo the resource name):

#include <sicstus/sicstus.h>
/* ex_glue.h is generated by splfr from the foreign/[2,3] facts. 
   Always include the glue header in your foreign resource code.
*/
#include "ex_glue.h"

To create the linked foreign resource, simply type (to the Shell):

% splfr ex.pl ex.c

The linked foreign resource ex.so (file suffix .so is system dependent) has been created. It will be dynamically linked by the directive :- load_foreign_resource(ex). when the file ex.pl is loaded. For a full example, see Foreign Code Examples.

Dynamic linking of foreign resources can also be used by runtime systems.