Main Page

From Prologstandard

(Difference between revisions)
(→Plan)
Line 11: Line 11:
==Plan==
==Plan==
Based on [http://www.sju.edu/~jhodgson/wg17/Seattle2006minutes.txt Seattle 2006 meeting minutes]
Based on [http://www.sju.edu/~jhodgson/wg17/Seattle2006minutes.txt Seattle 2006 meeting minutes]
-
* Goal: identify and define a set of built-in predicates that have been unreasonably been omitted from part 1 of the standard.
+
* Goal: identify and define a set of built-in predicates that have been unreasonably omitted from part 1 of the standard.
* Timeframe: September 30 2006
* Timeframe: September 30 2006
** predicate_property/2
** predicate_property/2

Revision as of 16:15, 22 May 2007

ISO Standard | Standardisation process | Language design principles

Contents

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

Based on Seattle 2006 meeting minutes

  • Goal: identify and define a set of built-in predicates that have been unreasonably omitted from part 1 of the standard.
  • Timeframe: September 30 2006
    • predicate_property/2
    • 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

Compliance

Compliance

Summary of discussions

Retrieved from "http://editthis.info/prologstandard/Main_Page"
Personal tools