Main Page
From Prologstandard
(Difference between revisions)
ParkerJones (Talk | contribs) (→Plan) |
ParkerJones (Talk | contribs) |
||
| Line 5: | Line 5: | ||
* 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 commitee - see [http://www.sju.edu/~jhodgson/wg17/wg17web.html] | * join the ISO commitee - see [http://www.sju.edu/~jhodgson/wg17/wg17web.html] | ||
| + | |||
| + | ==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== | ==Plan== | ||
Revision as of 15:13, 22 May 2007
ISO Standard | Language design principles | Standardisation process
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 commitee - 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
- Problems with existing specifications
- Proposed new built-in predicates
- floating-point arithmetic flags
- common term testing predicates
- common meta-predicates
- common evaluable functors
Compliance
Summary of discussions
- Subsumption checking
- Predicate property
- sto_unification/1
- call_cleanup/2
- Mailing list archive [2]
