Welcome to the official home of
news | standards | projects | documents | internals | meetings | contacts
ISO/IEC JTC1/SC22/WG17 is the international
standardization working group for the programming language Prolog.
international standards and other specifications produced include:
To obtain these international standards, please contact your national member body.
- ISO/IEC 13211-1 Programming Language Prolog part 1 -- General Core
- Programming Language Prolog Part 2 -- Modules
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
Comments are welcome! We can be reached at firstname.lastname@example.org
Last Changed: 2015 March 30th