Main Page
From Prologstandard
(Difference between revisions)
ParkerJones (Talk | contribs) |
ParkerJones (Talk | contribs) |
||
| (23 intermediate revisions not shown) | |||
| Line 1: | Line 1: | ||
| - | * [[Subsumption | + | [[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== | ||
| + | * participate in discussions on the forums at [http://prolog.logtalk.org prolog.logtalk.org] | ||
| + | * contribute to this wiki | ||
| + | * 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] | ||
| + | |||
| + | ==Plan== | ||
| + | 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 | ||
| + | ** 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. <del>Read only flag unification: Discussion [[sto_unification/1]]</del> | ||
| + | * A 9. Unicode | ||
| + | * Other | ||
| + | ** Discussion: [[call_cleanup/2]] | ||
| + | |||
| + | ==Compliance== | ||
| + | Analysis of [[Compliance]] based on validation suites. | ||
| + | |||
| + | ==Other== | ||
| + | * 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]
