Menu

0

ISO/IEC 13211-1:1995

Information technology — Programming languages — Prolog — Part 1: General core

Publication date:   Jun 1, 1995

General information

90.93 Standard confirmed   Sep 24, 2024

ISO/IEC

ISO/IEC JTC 1/SC 22 Programming languages, their environments and system software interfaces

International Standard

35.060   Languages used in information technology

Buying

  Published

PDF - €261.36

  English  



Buy

Scope

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.

Life cycle

NOW

PUBLISHED
ISO/IEC 13211-1:1995
90.93 Standard confirmed
Sep 24, 2024

CORRIGENDA / AMENDMENTS

PUBLISHED
ISO/IEC 13211-1:1995/Cor 1:2007

PUBLISHED
ISO/IEC 13211-1:1995/Cor 2:2012

PUBLISHED
ISO/IEC 13211-1:1995/Cor 3:2017