Predicate property
From Prologstandard
(Difference between revisions)
ParkerJones (Talk | contribs) |
ParkerJones (Talk | contribs) |
||
| 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. | ||
| + | |||
| + | ===In progress=== | ||
| + | |||
| + | 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 | ||
| + | |||
| + | There are several clearly distinct properties: | ||
Revision as of 17:38, 17 May 2007
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.
In progress
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
There are several clearly distinct properties:
