Main Page

From Prologstandard

ISO Standard | Language design principles | Standardisation process

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

Motivation

Prolog implementations have progressed substantially since the original ISO standard was written and as a result new predicates are commonly available but may be absent, have different names, or have different semantics. A revision to the standard aims to address these limitations.

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]