Main Page

From Prologstandard

Revision as of 15:13, 22 May 2007 (edit) ParkerJones (Talk | contribs) ← Previous diff		Revision as of 16:14, 22 May 2007 (edit) (undo) ParkerJones (Talk | contribs) (→Plan) Next diff →
Line 10:		Line 10:
	==Plan==		==Plan==
-	* Problems with existing specifications	+	Based on [http://www.sju.edu/~jhodgson/wg17/Seattle2006minutes.txt Seattle 2006 meeting minutes]
-	* Proposed new built-in predicates	+	* Goal: identify and define a set of built-in predicates that have been unreasonably been 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		** floating-point arithmetic flags
	** common term testing predicates		** common term testing predicates

---

Revision as of 16:14, 22 May 2007

ISO Standard | Language design principles | Standardisation process

Contents 1 How to get involved 2 Motivation 3 Plan 4 Compliance 5 Summary of discussions

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

Compliance

Summary of discussions

• Subsumption checking
• Predicate property
• sto_unification/1
• call_cleanup/2
• Mailing list archive [2]