Main Page

From Prologstandard

(Difference between revisions)
 
(44 intermediate revisions not shown)
Line 1: Line 1:
-
Wiki successfully set up.
+
[[ISO Standard]] | [[Standardisation process]] | [[Language design principles]]
 +
==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.
-
==First Steps==
+
==How to get involved==
-
The username and password for the administrative account is '''admin''', '''admin'''.  
+
* participate in discussions on the forums at [http://prolog.logtalk.org prolog.logtalk.org]
-
#You should log in and change your password now!
+
* contribute to this wiki
-
#On this page: [[image_logo_url]] put just the url for the logo.
+
* vote at [http://www.dcc.fc.up.pt/iclp07 ICLP 2007] in September.
-
#Add the url for your wiki to the [http://www.editthis.info/wiki/index.php/Categorized_Wiki_List Categorized wiki list]. Simply edit that page and put your wiki under the appropriate category.
+
* join the ISO committee - see [http://www.sju.edu/~jhodgson/wg17/wg17web.html]
-
#To increase the amount of space you have for uploads go to the [http://editthis.info/wiki/index.php/Link_Quota_Page Link Quota Page]
+
-
==Other optional things to do==
+
==Plan==
-
*Edit [[MediaWiki:Sidebar]] to change the navigation menu
+
Based on [http://www.sju.edu/~jhodgson/wg17/Seattle2006minutes.txt Seattle 2006 meeting minutes] (Timeframe: September 30 2006?)
-
*Add this wiki to some external wiki indexes:
+
* A 2: built-in predicates omitted from part 1 of the standard
-
#[http://en.wikipedia.org/wiki/List_of_wiki Wikipedia list of wikis]
+
** predicate_property/2  Discussion: [[Predicate property]]
-
#[http://www.wikiindex.com/Add_a_Wiki WikiIndex]<br>
+
** compare/3
-
*Read the [http://meta.wikipedia.org/wiki/MediaWiki_User%27s_Guide User's Guide] for other usage and configuration help.
+
** callable/1
-
*Add your wiki to the [http://editthis.info/wiki/index.php/Map_of_wikis map of wikis]
+
** 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
 +
*** Discussion [[Subsumption checking]]
 +
** common meta-predicates
 +
** common evaluable functors
 +
* A 3. Mutable objects
 +
* A 4. DCGs
 +
* A 7. Multi-threading
 +
* A 8. <del>Read only flag unification: Discussion [[sto_unification/1]]</del>
 +
* A 9. Unicode
 +
* Other
 +
** Discussion: [[call_cleanup/2]]
 +
 
 +
==Compliance==
 +
Analysis of [[Compliance]] based on validation suites.
 +
 
 +
==Other==
 +
* Mailing list archive [http://neve.di.ubi.pt/mailman/listinfo/prolog-standard]

Current revision as of 17:24, 22 May 2007

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]
Retrieved from "http://editthis.info/prologstandard/Main_Page"
Personal tools