Skip to content
Please enter a keyword to search

  • ISO/IEC 13211-1:1995

    Current The latest, up-to-date edition.

    Information technology Programming languages Prolog Part 1: General core

    Available format(s):  Hardcopy, PDF, PDF 3 Users, PDF 5 Users, PDF 9 Users

    Language(s): 

    Published date:  01-06-1995

    Publisher:  International Organization for Standardization

    Add To Cart

    Abstract - (Show below) - (Hide below)

    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 Product Information - (Show below) - (Hide below)

    Document Type Standard
    Publisher International Organization for Standardization
    Status Current

    Standards Referenced By This Book - (Show below) - (Hide below)

    ISO/IEC 10967-2:2001 Information technology — Language independent arithmetic — Part 2: Elementary numerical functions
    ISO 19144-1:2009 Geographic information — Classification systems — Part 1: Classification system structure
    ISO/IEC 13211-2:2000 Information technology Programming languages Prolog Part 2: Modules
    BS EN ISO 19144-1:2012 Geographic information. Classification systems Classification system structure
    UNI EN ISO 19144-1 : 2012 GEOGRAPHIC INFORMATION - CLASSIFICATION SYSTEMS - PART 1: CLASSIFICATION SYSTEM STRUCTURE
    CSA ISO/IEC 10967-1:14 (R2019) Information technology - Language independent arithmetic - Part 1: Integer and floating point arithmetic (Adopted ISO/IEC 10967-1:2012, second edition, 2012-07-15)
    CSA ISO/IEC 13211-2 : 2002 : R2016 INFORMATION TECHNOLOGY - PROGRAMMING LANGUAGES - PROLOG - PART 2: MODULES
    CSA ISO/IEC 10967-2 :2002 INFORMATION TECHNOLOGY - LANGUAGE INDEPENDENT ARITHMETIC - PART 2: ELEMENTARY NUMERICAL FUNCTIONS
    INCITS/ISO/IEC 13211-2 : 2000 INFORMATION TECHNOLOGY - PROGRAMMING LANGUAGES - PROLOG - PART 2: MODULES
    ISO/IEC TR 14252:1996 Information technology — Guide to the POSIX Open System Environment (OSE)
    CSA ISO/IEC 13211-2 : 2002 INFORMATION TECHNOLOGY - PROGRAMMING LANGUAGES - PROLOG - PART 2: MODULES
    CSA ISO/IEC 10967-2 : 2002 : R2011 INFORMATION TECHNOLOGY - LANGUAGE INDEPENDENT ARITHMETIC - PART 2: ELEMENTARY NUMERICAL FUNCTIONS
    INCITS/ISO 19144-1 : 2010 GEOGRAPHIC INFORMATION - CLASSIFICATION SYSTEMS - PART 1: CLASSIFICATION SYSTEM STRUCTURE
    ISO/IEC 10967-1:2012 Information technology — Language independent arithmetic — Part 1: Integer and floating point arithmetic
    CSA ISO/IEC 13211-2 : 2002 : R2011 INFORMATION TECHNOLOGY - PROGRAMMING LANGUAGES - PROLOG - PART 2: MODULES
    I.S. EN ISO 19144-1:2012 GEOGRAPHIC INFORMATION - CLASSIFICATION SYSTEMS - PART 1: CLASSIFICATION SYSTEM STRUCTURE (ISO 19144-1:2009)
    BS ISO/IEC TR 14252:1996 Information technology. Guide to the POSIX open system environment (OSE)
    BS ISO 19144-1 : 2009 GEOGRAPHIC INFORMATION - CLASSIFICATION SYSTEMS - PART 1: CLASSIFICATION SYSTEMS STRUCTURE
    04/30106462 DC : DRAFT JUL 2004 ISO/IEC 10967-3 - INFORMATION TECHNOLOGY - LANGUAGE INDEPENDENT ARITHMETIC - PART 3 : COMPLEX FLOATING POINT ARITHMETIC AND COMPLEX ELEMENTARY NUMERICAL FUNCTIONS
    INCITS/ISO/IEC 13211-2 : 2000 : R2006 INFORMATION TECHNOLOGY - PROGRAMMING LANGUAGES - PROLOG - PART 2: MODULES
    BS ISO/IEC 10967-1:2012 Information technology. Language independent arithmetic Integer and floating point arithmetic
    BS ISO/IEC 13211-2:2000 Information technology. Programming languages. Prolog Modules
    CSA ISO/IEC 10967-2 : 2002 : R2016 INFORMATION TECHNOLOGY - LANGUAGE INDEPENDENT ARITHMETIC - PART 2: ELEMENTARY NUMERICAL FUNCTIONS

    Standards Referencing This Book - (Show below) - (Hide below)

    ISO/IEC 8859-1:1998 Information technology 8-bit single-byte coded graphic character sets Part 1: Latin alphabet No. 1
    ISO/IEC TR 10034:1990 Guidelines for the preparation of conformity clauses in programming language standards
    ISO/IEC 2382-15:1999 Information technology Vocabulary Part 15: Programming languages
    BS 6154:1981 Method of defining syntactic metalanguage
    ISO/IEC 10967-1:2012 Information technology — Language independent arithmetic — Part 1: Integer and floating point arithmetic
    ISO/IEC 9899:2011 Information technology Programming languages C
    ISO/IEC 646:1991 Information technology ISO 7-bit coded character set for information interchange
    View more information

    • Access your standards online with a subscription

      Features

      • Simple online access to standards, technical information and regulations
      • Critical updates of standards and customisable alerts and notifications
      • Multi - user online standards collection: secure, flexibile and cost effective