SWI-Prolog -- Static linking and embedding (version 2)

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

2.16.5 Static linking and embedding (version 2)

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.