SWI-Prolog -- Static linking and embedding

Documentation
- Reference manual
- Packages
  - A C++ interface to SWI-Prolog
    - A C++ interface to SWI-Prolog
      - Considerations
        
        The C++ versus the C interface
        
        Notes on exceptions
        
        Global terms, atoms, and functors
        
        Atom map utilities
        
        Static linking and embedding
        
        Status and compiler versions

1.17.5 Static linking and embedding

The mechanisms outlined in this document can be used for static linking with the SWI-Prolog kernel using swipl-ld(1). In general the C++ linker should be used to deal with the C++ runtime libraries and global constructors.