Did you know ... | Search Documentation: |
Pack nan_system_sources -- prolog/nan/system/sources_types.pl |
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
.
source
.
A source
term has the form:
s(source(+Typ:(s(t0); s(t1)), +Id:atom))
Examples:
source(t0, Id) source(t1, Id)
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)