ISO/IEC JTC1/SC22/WG17

core.pdf

The latest version of the core revisions.

core.html

An Html version of the above -- not necessarily synchronized.

http://eclipse-clp.org/Specs/core_float_20091008.txt

Proposal for Prolog Standard core update wrt floating point arithmetic

Author: Joachim Schimpf

evaluable functors

Evaluable functors, current practice Ulrich Neumirkel

Built-in predicates, current practice

Ulrich Neumerkel

Paulo Moura's Seattle Current builtins table.

This dates to 2006 at the Seattle meeting.

pdtr10.pdf

Latest version of the globals draft.

reference.pl

Reference implementation of globals.

More recent version of some of these documents can be found at http://www.complang.tuwien.ac.at/ulrich/iso-prolog/

Last Changed: 2009 October 29th