Reference number
ISO/IEC 13211-1:1995
International Standard
ISO/IEC 13211-1:1995
Information technology — Programming languages — Prolog — Part 1: General core
Edition 1
1995-06
Read sample
ISO/IEC 13211-1:1995
21413
Published (Edition 1, 1995)
This publication was last reviewed and confirmed in 2024. Therefore this version remains current.

ISO/IEC 13211-1:1995

ISO/IEC 13211-1:1995
21413
Language
Format
CHF 216
Convert Swiss francs (CHF) to your currency

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.

General information

  •  : Published
     : 1995-06
    : International Standard confirmed [90.93]
  •  : 1
     : 199
  • ISO/IEC JTC 1/SC 22
    35.060 
  • RSS updates

Got a question?

Check out our Help and Support