Main Page

From Prologstandard

Revision as of 18:02, 17 May 2007 (edit) ParkerJones (Talk | contribs) ← Previous diff		Revision as of 18:28, 17 May 2007 (edit) (undo) ParkerJones (Talk | contribs) Next diff →
Line 1:		Line 1:
		+	A summary of discussions regarding Prolog standardisation.
	* [[ISO Standard]]		* [[ISO Standard]]
	* [[Language design principles]]		* [[Language design principles]]

---

Revision as of 18:28, 17 May 2007

A summary of discussions regarding Prolog standardisation.

• ISO Standard
• Language design principles
• Subsumption Checking
• Predicate property
• sto_unification/1
• call_cleanup/2
• Mailing list archive [1]