Main Page

From Prologstandard

ISO Standard | Language design principles | Standardisation procedure

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

A summary of discussions:

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