Main Page
From Prologstandard
(Difference between revisions)
ParkerJones (Talk | contribs) (→Plan) |
ParkerJones (Talk | contribs) |
||
| (3 intermediate revisions not shown) | |||
| Line 1: | Line 1: | ||
[[ISO Standard]] | [[Standardisation process]] | [[Language design principles]] | [[ISO Standard]] | [[Standardisation process]] | [[Language design principles]] | ||
| + | ==Motivation== | ||
| + | Prolog implementations have progressed since the original ISO standard was written and as a result new predicates are commonly available but may be absent from the standard, have different names, or have different semantics. A revision to the standard aims to address these limitations. | ||
| + | |||
==How to get involved== | ==How to get involved== | ||
* participate in discussions on the forums at [http://prolog.logtalk.org prolog.logtalk.org] | * participate in discussions on the forums at [http://prolog.logtalk.org prolog.logtalk.org] | ||
| Line 5: | Line 8: | ||
* vote at [http://www.dcc.fc.up.pt/iclp07 ICLP 2007] in September. | * vote at [http://www.dcc.fc.up.pt/iclp07 ICLP 2007] in September. | ||
* join the ISO committee - see [http://www.sju.edu/~jhodgson/wg17/wg17web.html] | * join the ISO committee - see [http://www.sju.edu/~jhodgson/wg17/wg17web.html] | ||
| - | |||
| - | |||
| - | |||
==Plan== | ==Plan== | ||
Based on [http://www.sju.edu/~jhodgson/wg17/Seattle2006minutes.txt Seattle 2006 meeting minutes] (Timeframe: September 30 2006?) | Based on [http://www.sju.edu/~jhodgson/wg17/Seattle2006minutes.txt Seattle 2006 meeting minutes] (Timeframe: September 30 2006?) | ||
* A 2: built-in predicates omitted from part 1 of the standard | * A 2: built-in predicates omitted from part 1 of the standard | ||
| - | ** predicate_property/2 | + | ** predicate_property/2 Discussion: [[Predicate property]] |
** compare/3 | ** compare/3 | ||
** callable/1 | ** callable/1 | ||
| Line 26: | Line 26: | ||
** floating-point arithmetic flags | ** floating-point arithmetic flags | ||
** common term testing predicates | ** common term testing predicates | ||
| + | *** Discussion [[Subsumption checking]] | ||
** common meta-predicates | ** common meta-predicates | ||
** common evaluable functors | ** common evaluable functors | ||
| Line 31: | Line 32: | ||
* A 4. DCGs | * A 4. DCGs | ||
* A 7. Multi-threading | * A 7. Multi-threading | ||
| - | * A 8. Read only flag unification | + | * A 8. <del>Read only flag unification: Discussion [[sto_unification/1]]</del> |
* A 9. Unicode | * A 9. Unicode | ||
* Other | * Other | ||
| + | ** Discussion: [[call_cleanup/2]] | ||
==Compliance== | ==Compliance== | ||
Analysis of [[Compliance]] based on validation suites. | Analysis of [[Compliance]] based on validation suites. | ||
| - | == | + | ==Other== |
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
* Mailing list archive [http://neve.di.ubi.pt/mailman/listinfo/prolog-standard] | * Mailing list archive [http://neve.di.ubi.pt/mailman/listinfo/prolog-standard] | ||
Current revision as of 17:24, 22 May 2007
ISO Standard | Standardisation process | Language design principles
Contents |
[edit] Motivation
Prolog implementations have progressed since the original ISO standard was written and as a result new predicates are commonly available but may be absent from the standard, have different names, or have different semantics. A revision to the standard aims to address these limitations.
[edit] How to get involved
- participate in discussions on the forums at prolog.logtalk.org
- contribute to this wiki
- vote at ICLP 2007 in September.
- join the ISO committee - see [1]
[edit] Plan
Based on Seattle 2006 meeting minutes (Timeframe: September 30 2006?)
- A 2: built-in predicates omitted from part 1 of the standard
- predicate_property/2 Discussion: Predicate property
- compare/3
- callable/1
- forall/2
- number_vars/3
- retractall/1
- sort/2
- keysort/2
- ground/1
- member/2
- append/3
- length/2
- floating-point arithmetic flags
- common term testing predicates
- Discussion Subsumption checking
- common meta-predicates
- common evaluable functors
- A 3. Mutable objects
- A 4. DCGs
- A 7. Multi-threading
- A 8.
Read only flag unification: Discussion sto_unification/1 - A 9. Unicode
- Other
- Discussion: call_cleanup/2
[edit] Compliance
Analysis of Compliance based on validation suites.
[edit] Other
- Mailing list archive [2]
