4.15 Declaring predicate properties
All
Application
Manual
Name
Summary
Help
Documentation
Reference manual
Built-in Predicates
Declaring predicate properties
dynamic/1
dynamic/2
compile_predicates/1
multifile/1
discontiguous/1
public/1
non_terminal/1
Packages
Availability:
built-in
[ISO]
discontiguous
:PredicateIndicator, ...
Informs the system that the clauses of the specified predicate(s) might not be together in the source file. See also
style_check/1
.
[ISO]discontiguous :PredicateIndicator,
...[ISO]discontiguous :PredicateIndicator,
...