Main Page
From Prologstandard
(Difference between revisions)
ParkerJones (Talk | contribs) (→Plan) |
ParkerJones (Talk | contribs) |
||
| Line 12: | Line 12: | ||
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. Read only flag unification: Discussion [[sto_unification/1]] |
* 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] | ||
Revision as of 16:32, 22 May 2007
ISO Standard | Standardisation process | Language design principles
Contents |
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]
Motivation
Prolog implementations have progressed substantially since the original ISO standard was written and as a result new predicates are commonly available but may be absent, have different names, or have different semantics. A revision to the standard aims to address these limitations.
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
Compliance
Analysis of Compliance based on validation suites.
Other
- Mailing list archive [2]
