0

ISO/IEC 13211-1:1995

Information technology — Programming languages — Prolog — Part 1: General core ISO/IEC 13211-1:1995

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

Language in which you want to receive the document.

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