Predicate property
From Prologstandard
Contents |
built-in
Existing standard
8 Built-in predicates:
- A built-in predicate is a procedure which is provided automatically by a *standard-conforming processor, (page 63).
5.5.9 Built-in predicates:
- A processor may support one or more additional built-in predicates (8) as an implementation specific feature.
7.5 (Database):
- Built-in predicates and control constructs are provided by the processor. They have properties which are defined by the clauses in this part of ISO/IEC 13211.
Future
Options:
- standardise
- don't standardise
Meanings:
- cannot be abolished
extended/foreign
A new predicate property to identify code written in an external language:
Options:
- predicate properties only for the core standard
- predicate properties related to extensions outside the core standard
Naming:
- extended
- foreign
- both
standard/standard(Version)
built-ins defined by the standard of version
Options:
- add to standard
- don't add to standard
listable
clause/2 can access the predicate.
definition_available/source_available
clause/[2,3] can be called on this predicate
Options:
- add to standard
- don't add to standard
Naming:
- definition_available
- source_available
