ISO/IEC 13211-1:1995 

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

Media and price

Language Format Add to basket
English PDF (43 327 kB) CHF 252,00
English Paper CHF 252,00

General information

Number of Pages: 199


Edition: 1 (Monolingual) ICS: 35.060
Status: Published Stage: 90.93 (2008-07-29)
TC/SC: JTC 1/SC 22  

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.

Corrigenda, Amendments and other parts

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

ISO/IEC 13211-2:2000

These standards could also interest you

  • ISO/IEC 9945:2009
    Information technology -- Portable Operating System Interface (POSIX®) Base Specifications, Issue 7
  • ISO/IEC 24747:2009
    Information technology -- Programming languages, their environments and system software interfaces -- Extensions to the C Library to support mathematical special functions
  • ISO/IEC TR 24732:2009
    Information technology -- Programming languages, their environments and system software interfaces -- Extension for the programming language C to support decimal floating-point arithmetic
 
The following article has been added to your basket
Continue shopping  Proceed to checkout