Foreign Interface

assign(A,V)

poke into memory

extern(P)

declares predicate P to be callable from foreign code

foreign(F,P)

user-defined; C function F is attached to predicate P

foreign(F,L,P)

user-defined; function F in language L is attached to P

foreign_file(F,L)

user-defined; file F defines foreign functions in list L

load_foreign_files(F,L)

load object files F using libraries L

unix(T)

give access to system commands