Standard

ISO/IEC 13211-1:1995

Jun 1995 Current

Preview External link

Existing or new amendments and versions must be purchased separately.

Language English

Services Online + Pdf CHF 233.00 Online CHF 199.00

There are no extended editions available for this standard

Open product
Information technology — Programming languages — Prolog — Part 1: General core — Technical Corrigendum 3 Current ISO/IEC 13211-1:1995/Cor 3:2017 Corrigendum from Publication date: Jul 2017 Language: English Services: Online, Online + Pdf
Open product
Information technology — Programming languages — Prolog — Part 1: General core — Technical Corrigendum 2 Current ISO/IEC 13211-1:1995/Cor 2:2012 Corrigendum from Publication date: Jan 2012 Language: English Services: Online, Online + Pdf
Open product
Information technology — Programming languages — Prolog — Part 1: General core — Technical Corrigendum 1 Current ISO/IEC 13211-1:1995/Cor 1:2007 Corrigendum from Publication date: Nov 2007 Language: English Services: Online, Online + Pdf

Abstract

Designed to promote the applicability and portability of Prolog text and data among a variety of data processing systems. Specifies: the representation of Prolog text; the syntax and constraints of the Prolog language; the semantic rules for interpreting Prolog text; the representation of input data to be processed by Prolog; the representation of output produced by Prolog and the restrictions and limits imposed on a conforming Prolog processor.

Products specifications

Standard from ISO/IEC
Published: June 1 1995
Edition: 1
Document type: IS
Pages
ISBN:

Publisher: ISO/IEC
Distributor: ISO/IEC
ICS: 35.060
International TC: ISO/IEC JTC 1/SC 22

Product Relations

Joinded work item: ISO/IEC 13211-1:1995

Create subscription

Extended editions Extended editions (0)

Version history Related Corrigenda and Amendments (3)