Main Page

From Prologstandard

Revision as of 14:45, 22 May 2007 (edit) ParkerJones (Talk | contribs) ← Previous diff		Revision as of 14:48, 22 May 2007 (edit) (undo) ParkerJones (Talk | contribs) (→Plan) Next diff →
Line 13:		Line 13:
	** common meta-predicates		** common meta-predicates
	** common evaluable functors		** common evaluable functors
		+
		+	==Compliance==
		+	[[Compliance]]
	==Summary of discussions==		==Summary of discussions==

---

Revision as of 14:48, 22 May 2007

ISO Standard | Language design principles | Standardisation process

Contents 1 How to get involved 2 Plan 3 Compliance 4 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]

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

Compliance

Summary of discussions

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