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

ISO/IEC 13211-1:1995

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

  • Status
     : Published
    Publication date
     : 1995-06
    Stage
    : International Standard confirmed [90.93]
  • Edition
     : 1
    Number of pages
     : 199
  • Technical Committee :
    ISO/IEC JTC 1/SC 22
    ICS :
    35.060 
  • RSS updates

Life cycle

Got a question?

Check out our Help and Support

  2. Store
  3. Standards catalogue
  4. ICS
  5. 35
  6. 35.060
  7. ISO/IEC 13211-1:1995