Main Page
From Prologstandard
(Difference between revisions)
ParkerJones (Talk | contribs) |
|||
| Line 1: | Line 1: | ||
| - | [[ISO Standard]] | [[Language design principles]] | [[Standardisation | + | [[ISO Standard]] | [[Language design principles]] | [[Standardisation process]] |
==How to get involved== | ==How to get involved== | ||
* participate in discussions on the forums at [http://prolog.logtalk.org prolog.logtalk.org] | * participate in discussions on the forums at [http://prolog.logtalk.org prolog.logtalk.org] | ||
Revision as of 14:44, 22 May 2007
ISO Standard | Language design principles | Standardisation process
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]
