Welcome to the official home of
ISO/IEC JTC1/SC22/WG17
news | standards | projects | documents | internals | meetings | contacts
ISO/IEC JTC1/SC22/WG17 is the international
standardization working group for the programming language Prolog.
Approved
international standards and other specifications produced include:
- ISO/IEC 13211-1 Programming Language Prolog part 1 -- General Core
- Programming Language Prolog Part 2 -- Modules
To obtain these international standards, please contact your national member body.
Current standardisation topics being considered include:
- Definite clause grammars:
- Additional predicates for the core
Other information available is:
If you want further information, or want to participate, please contact your national member body or one of the contact addresses of
the WG.
Comments are welcome! We can be reached at jhodgson@sju.edu
Last Changed: 2015 March 30th