Main Page

From Prologstandard

ISO Standard | Standardisation process | Language design principles

Contents

[edit] Motivation

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

[edit] 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 committee - see [1]

[edit] Plan

Based on Seattle 2006 meeting minutes (Timeframe: September 30 2006?)

  • A 2: built-in predicates omitted from part 1 of the standard
    • predicate_property/2 Discussion: Predicate property
    • compare/3
    • callable/1
    • forall/2
    • number_vars/3
    • retractall/1
    • sort/2
    • keysort/2
    • ground/1
    • member/2
    • append/3
    • length/2
    • floating-point arithmetic flags
    • common term testing predicates
    • common meta-predicates
    • common evaluable functors
  • A 3. Mutable objects
  • A 4. DCGs
  • A 7. Multi-threading
  • A 8. Read only flag unification: Discussion sto_unification/1
  • A 9. Unicode
  • Other

[edit] Compliance

Analysis of Compliance based on validation suites.

[edit] Other

  • Mailing list archive [2]
Personal tools