SWI-Prolog -- Manual

Documentation
- Reference manual
- Packages
  - A C++ interface to SWI-Prolog
    - A C++ interface to SWI-Prolog (Version 2)
      - Exceptions (version 2)
        
        The class PlException (version 2)
        
        The class PlTypeError (version 2)
        
        The class PlDomainError (version 2)

2.16.2 The class PlTypeError (version 2)

A type error expresses that a term does not satisfy the expected basic Prolog type.

PlTypeError :: PlTypeError(const char *expected, const PlTerm &actual): Creates an ISO standard Prolog error term expressing the expected type and actual term that does not satisfy this type.