Predicate property
From Prologstandard
(Difference between revisions)
ParkerJones (Talk | contribs) |
ParkerJones (Talk | contribs) |
||
| (2 intermediate revisions not shown) | |||
| Line 1: | Line 1: | ||
| + | ==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== | ==extended/foreign== | ||
A new predicate property to identify code written in an external language: | A new predicate property to identify code written in an external language: | ||
| Line 10: | Line 31: | ||
* foreign | * foreign | ||
* both | * 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 | ||
Current revision as of 17:39, 17 May 2007
Contents |
[edit] built-in
[edit] 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.
[edit] Future
Options:
- standardise
- don't standardise
Meanings:
- cannot be abolished
[edit] 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
[edit] standard/standard(Version)
built-ins defined by the standard of version
Options:
- add to standard
- don't add to standard
[edit] listable
clause/2 can access the predicate.
[edit] 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
