Main Page

From Prologstandard

Revision as of 18:33, 17 May 2007 (edit) ParkerJones (Talk | contribs) ← Previous diff		Revision as of 14:25, 22 May 2007 (edit) (undo) 62.197.96.231 (Talk) Next diff →
Line 1:		Line 1:
-	A summary of discussions regarding Prolog standardisation.	+	[[ISO Standard]] | [[Language design principles]] | [[Standardisation procedure]]
-	* [[ISO Standard]]	+
-	* [[Language design principles]]	+	==Plan==
		+	* Problems with existing specifications
		+	* Proposed new built-in predicates
		+	** floating-point arithmetic flags
		+	** common term testing predicates
		+	** common meta-predicates
		+	** common evaluable functors
		+
		+	A summary of discussions:
	* [[Subsumption checking]]		* [[Subsumption checking]]
	* [[Predicate property]]		* [[Predicate property]]

---

Revision as of 14:25, 22 May 2007

ISO Standard | Language design principles | Standardisation procedure

Plan

• Problems with existing specifications
• Proposed new built-in predicates
  • floating-point arithmetic flags
  • common term testing predicates
  • common meta-predicates
  • common evaluable functors

A summary of discussions:

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