Did you know ... Search Documentation:
Pack nan_system_sources -- prolog/nan/system/sources_types.pl
PublicShow source

Part of Nan.System.Sources (nan/system/sources.pl)

Module sources_types (nan/system/sources_types.pl) provides type testing predicates to validate arguments in user code.

For code docs syntax and meaning see sources_docs.txt.

author
- Julio P. Di Egidio
version
- 1.2.0-beta
license
- GNU GPLv3
 is_source(@Term:any) is semidet
 is_answer(@Term:any) is semidet