Main Page

From Prologstandard

Revision as of 14:44, 22 May 2007 (edit) ParkerJones (Talk | contribs) ← Previous diff		Revision as of 14:45, 22 May 2007 (edit) (undo) ParkerJones (Talk | contribs) Next diff →
Line 14:		Line 14:
	** common evaluable functors		** common evaluable functors
-	A summary of discussions:	+	==Summary of discussions==
	* [[Subsumption checking]]		* [[Subsumption checking]]
	* [[Predicate property]]		* [[Predicate property]]

---

Revision as of 14:45, 22 May 2007

ISO Standard | Language design principles | Standardisation process

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

Summary of discussions

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