Main Page

From Prologstandard

Revision as of 16:35, 22 May 2007 (edit) ParkerJones (Talk | contribs) (→Motivation) ← Previous diff		Revision as of 16:39, 22 May 2007 (edit) (undo) ParkerJones (Talk | contribs) (→Plan) Next diff →
Line 32:		Line 32:
	* A 4. DCGs		* A 4. DCGs
	* A 7. Multi-threading		* A 7. Multi-threading
-	* A 8. Read only flag unification: Discussion [[sto_unification/1]]	+	* A 8. <del>Read only flag unification: Discussion [[sto_unification/1]]</del>
	* A 9. Unicode		* A 9. Unicode
	* Other		* Other

---

Revision as of 16:39, 22 May 2007

ISO Standard | Standardisation process | Language design principles

Contents 1 How to get involved 2 Motivation 3 Plan 4 Compliance 5 Other

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 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.

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]