Did you know ... Search Documentation:
Pack prolog_library_collection -- prolog/type_ext.pl
PublicShow source

Extends support for types in the SWI-Prolog standard library.

This module introduces the following types:

  • options: A dictionary with tag options that is used to represent options passed to predicates.
 positive_integer(@Term) is semidet