Skip to content
CSA Store
  • CSA Group
  • CSA OnDemandâ„¢
  • CSA Communities
  • Contact Us
  • Catalogue
    • Browse By Subject Area

      • Electrical
      • Fuels & Transportation
      • Petroleum & Natural Gas
      • Environment & Natural Resources
      • Construction & Infrastructure
      • Mechanical & Industrial Equipment
      • Nuclear
      • Health Care and Well-being
      • Worker & Public Safety
      • Management Systems
    • Browse By Publisher

      • ASME
      • ASTM
      • CSA Group
      • ESA
      • IEC
      • ISO
      • NRC
      • ORNAC
      • TSSA
    • ICS Catalogue

      • Browse by International Classification of Standards (ICS Codes)
  • Subscription
    • Browse By Subject Area

      • Electrical
      • Fuels & Transportation
      • Petroleum & Natural Gas
      • Environment & Natural Resources
      • Construction & Infrastructure
      • Mechanical & Industrial Equipment
      • Nuclear
      • Health Care and Well-being
      • Worker & Public Safety
      • Management Systems
    • CSA Subscriptions

      • Overview
      • Collections
    • ICS Catalogue

      • Browse by International Classification of Standards (ICS Codes)
  • Services
Cart Icon0
×
Login / Register
English / CAD

Language

en

fr

Currency

CAD

USD

  • CSA Group
  • CSA OnDemandâ„¢
  • CSA Communities
  • Contact Us
Wishlist

Catalogue

  • Browse By Subject Area

    • Electrical
    • Fuels & Transportation
    • Petroleum & Natural Gas
    • Environment & Natural Resources
    • Construction & Infrastructure
    • Mechanical & Industrial Equipment
    • Nuclear
    • Health Care and Well-being
    • Worker & Public Safety
    • Management Systems
  • Browse By Publisher

    • ASME
    • ASTM
    • CSA Group
    • ESA
    • IEC
    • ISO
    • NRC
    • ORNAC
    • TSSA
  • ICS Catalogue

    • Browse by International Classification of Standards (ICS Codes)

Subscription

  • Browse By Subject Area

    • Electrical
    • Fuels & Transportation
    • Petroleum & Natural Gas
    • Environment & Natural Resources
    • Construction & Infrastructure
    • Mechanical & Industrial Equipment
    • Nuclear
    • Health Care and Well-being
    • Worker & Public Safety
    • Management Systems
  • CSA Subscriptions

    • Overview
    • Collections
  • ICS Catalogue

    • Browse by International Classification of Standards (ICS Codes)

Services

Menu toggle Icon
Login / Register
English / CAD

Language

en

fr

Currency

CAD

USD

Wishlist Cart (
)

Search Section

    • Home
    • ICS
    • Information Technology. Office Machines
    • Languages Used In Information Technology
    • CSA ISO/IEC 13211-1:97 (R2020)

    Codes & Standards - Purchase

    CSA ISO/IEC 13211-1:97 (R2020)

    Information Technology - Programming Languages - Prolog - Part 1: General Core (Adopted ISO/IEC 13211-1:1995, first edition, 1995-06-01)
    SKU: 2410755 Published by CSA Group Publication Year 1997 Reaffirmed in 2020 255 pages

    Product Details

    • Preface/Scope

    CSA Preface


    Standards development within the Information Technology sector is harmonized with international standards development. Through the CSA Technical Committee on Information Technology (TCIT), Canadians serve as the Canadian Advisory Committee (CAC) on ISO/IEC Joint Technical Committee 1 on Information Technology (ISO/IEC JTCl) for the Standards Council of Canada (SCC), the I S 0 member body for Canada and sponsor of the Canadian National Committee of the IEC. Also, as a member of the International Telecommunication Union (ITU), Canada participates in the International Telegraph and Telephone Consultative Committee (ITU-T).

    This International Standard was reviewed by the CSA TClT under the jurisdiction of the Strategic Steering Committee on Information Technology and deemed acceptable for use in Canada. (A committee membership list is available on request from the CSA Committee Administrator.) From time to time, ISO/lEC may publish addenda, corrigenda, etc. The CSA TClT will review these documents for approval and publication. For a listing, refer to CSA Information Products Catalogue or CSA Info Update or contact a CSA Sales representative. This Standard has been formally approved, without modification, by these Committees and has been approved as a National Standard of Canada by the Standards Council of Canada.


    Scope


    ISO/IEC 13211 is designed to promote the applicability and portability of Prolog text and data among a variety of data processing systems.


    This part of ISO/IEC 13211 specifies:


    (a) The representation of Prolog text;


    (b) The syntax and constraints of the Prolog language;


    (c) The semantic rules for interpreting Prolog text;


    (d) The representation of input data to be processed by Prolog;


    (e) The representation of output produced by Prolog; and


    (f) The restrictions and limits imposed on a conforming Prolog processor.


    NOTE - This part of ISO/IEC 13211 does not specify:


    (a) the size or complexity of Prolog text that will exceed the capacity of any specific data processing system or language processor, or the actions to be taken when the corresponding limits are exceeded;


    (b) the minimal requirements of a data processing system that is capable of supporting an implementation of a Prolog processor;


    (c) the methods of activating the Prolog processor or the set of commands used to control the environment in which Prolog text is prepared for execution and executed;


    (d) the mechanism by which Prolog text is prepared for use by a data processing system;


    (e) the typographical representation of Prolog text published for human reading;


    (f) the user environment (top level loop, debugger, library system, editor, compiler, etc.) of a Prolog processor.


    This part of ISO/IEC 13211 is intended for use by implementors and knowledgeable programmers, and is not a tutorial.


    1.1 Notes


    Notes in this part of ISO/IEC 13211 have no effect on the language, Prolog text or Prolog processors that are defined as conforming to this part of ISO/IEC 13211. Reasons for including a note include:


    (a) Cross references to other clauses and subclauses of this part of ISO/IEC 13211 in order to help readers find their way around;


    (b) Warnings when a built-in predicate as defined in this part of ISO/IEC 13211 has a different meaning in some existing implementations.

    copyright imgRequest Copyright Permissions

    Buy

    Language

    Radio input

    Format

    Radio input
    • Free updates to the latest version
    • Access historical versions
    • Access all supported languages
    Learn More
    • FAQs
    • Contact Us
    • Email Product

    GST REG No R119441681
    QST REG No R1006017360

    Compare Formats

    Determine the subscription format that is right for you.

    Features CSA AdvantageTM CSA OnDemandTM
    Offline accessSelectedSelected
    Full-text searchSelectedSelected
    Create highlights and personal notesSelectedSelected
    Newest editions added automaticallySelectedSelected
    Includes all supported languages and archive versionsSelected
    My Files - create customized files by adding multiple clauses, tables or figures from the standard into your own personal File for quick referenceSelected
    Toggle between your files and the full standard to maintain contextSelected
    Instantly preview cross referenced material within the bookSelected
    Export personal notes to ExcelSelected
    Transfer notes and highlights when updates are availableSelected
    Adobe Reader PDF and browser compatible for iOS and AndroidSelected
    Web, Android, iOS CompatibleSelected

    Follow Us On Social Media

    Get Our Newsletter

    Get CSA Newsletter

    • About CSA Store
    • Subscription
    • Services
    • Catalogue
    • FAQ
    • Return Policy
    • FULFILLMENT DETAILS
    • EBOOK SUPPORT
    • Product Updates
    • Contact Us
    • CSA GROUP
    • CSA COMMUNITIES
    • CSA Update Service
    • About CSA Store
    • Subscription
    • Services
    • Catalogue
    • FAQ
    • Return Policy
    • FULFILLMENT DETAILS
    • EBOOK SUPPORT
    • Product Updates
    • Contact Us
    • CSA GROUP
    • CSA COMMUNITIES
    • CSA Update Service

    • General Terms and Conditions
    • Privacy Policy
    • Accessibility
    © 2022 Canadian Standards Association. All rights reserved
    logo close
    Privacy Preference Centre

    Please manage your cookie choices by switching the consent toggles on or off under the Purposes below.

    You may change your preference at any time as described in our Cookie Policy

    • Cookie Settings
    • List of Cookies
    close
      Cookies on CSA Group

      We use Cookies to create a secure and effective website experience for our customers. For more information about Cookies and how you can disable Cookies, visit our privacy policy page. Learn More

      Free Login/Registration Required

      View Access for this document is only available for viewers in Canada.

      A free user account is required to view this document.

      Login or Register