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
Tests that a term is a source.

A source term has the form:

  s(source(+Typ:(s(t0); s(t1)), +Id:atom))

Examples:

source(t0, Id)
source(t1, Id)
Arguments:
Term- The term to test.
 is_answer(@Term:any) is semidet
Tests that a term is a answer.

A answer term has the form:

  s(answer(+Det:(s(more); s(last)), +Ret:s(the(?Sol:any))))
; s(answer(+Det:s(fail),            +Ret:s(no)))

Examples:

answer(more, the(Sol))
answer(last, the(Sol))
answer(fail, no)
Arguments:
Term- The term to test.