10.23.2 Checking Foreign Term Types

The type of a foreign term may determined by the goal

     foreign_type(+Foreign_term, -Type_name)

Note that foreign_type/2 will fail if Foreign_term is not a foreign term.