Main Page
From Prologstandard
(Difference between revisions)
ParkerJones (Talk | contribs) (→Plan) |
ParkerJones (Talk | contribs) (→Compliance) |
||
| Line 31: | Line 31: | ||
==Compliance== | ==Compliance== | ||
| - | [[Compliance]] | + | Analysis of [[Compliance]] based on validation suites. |
==Summary of discussions== | ==Summary of discussions== | ||
Revision as of 16:16, 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 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
Based on Seattle 2006 meeting minutes
- Goal: identify and define a set of built-in predicates that have been unreasonably omitted from part 1 of the standard.
- Timeframe: September 30 2006
- predicate_property/2
- 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
- common meta-predicates
- common evaluable functors
Compliance
Analysis of Compliance based on validation suites.
Summary of discussions
- Subsumption checking
- Predicate property
- sto_unification/1
- call_cleanup/2
- Mailing list archive [2]
