ISO/IEC 13211-1:1995 PDF

Name: ISO/IEC 13211-1:1995 — Information technology — Programming languages — Prolog — Part 1: General core
SKU: ISO/IEC 13211-1:1995
Price: 25 EUR
Availability: InStock

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

Название (английский):

ISO/IEC 13211-1:1995

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

Статус документа:: Действующий
Формат:: Электронный (PDF)
Количество страниц:: 199
Дата публикации:: 1 июня 1995 г.
Издание:: ISO/IEC IS 13211 edition 1 version 1
ICS:: 35.060

Тип поставки:

Full version2 985 €Read online 24h10 €Read online 72h15 €

Язык документа:

ruen

Срок поставки:34 раб. дн. (перевод)

Цена:2 985 €

Описание (английский):

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.

Abstract

Похожие стандарты

Другие стандарты ISO

Overview

ISO/IEC 13211-1:1995 is the international standard that defines the General Core of the Prolog programming language. Its purpose is to promote the applicability and portability of Prolog text and data across diverse data-processing systems by specifying the representation of Prolog text, the language syntax and constraints, semantic rules for interpretation, input/output representations, and the restrictions and limits placed on a conforming Prolog processor. The standard also includes a formal semantics annex describing the kernel behavior.

Key topics and requirements

The standard covers a comprehensive set of language and implementation topics, including:

Syntax and tokens: formal grammar (BNF), abstract term syntax, layout, names, numbers, quoted strings and list notations.

Semantic rules: types (variable, atom, integer, float, compound), term order, unification (including occurs-check considerations), and execution model for goals.

Control constructs: conjunction, disjunction, if-then, if-then-else, cut (!), catch/throw and other control predicates.

Built-in predicates: detailed definitions and error behavior for unification, type testing, term creation/decomposition, clause manipulation (assert/retract/abolish), all-solutions predicates (findall/bagof/setof), and more.

Input/output and streams: stream operations, read/write options, character/byte/term I/O and stream control.

Evaluable functors and arithmetic: numeric operations, floating and integer semantics, mixed-mode arithmetic, bitwise operators, and exceptional values.

Implementation and conformance: requirements for Prolog processors and Prolog text, documentation, and permitted extensions (syntax, operators, flags, built-ins).

Formal semantics: annex providing a formal specification, search-tree models, and abstract data structures for rigorous interpretation.

Applications and who uses it

Prolog implementers and compiler authors who need a formal reference for building conformance-compliant Prolog processors and runtime systems.

Tool vendors and integrators embedding Prolog engines in systems that require portable code and predictable behavior.

Software engineers and researchers developing logic-programming applications where deterministic semantics, I/O behavior, and built-ins must be standardized.

Educators and students needing a canonical description of Prolog core language features.

Organizations performing portability or interoperability testing for Prolog programs and data exchange.

Related standards and next steps

This document defines the general core; organizations should consult ISO/IEC channels for other Prolog-related parts or complementary ISO standards for programming languages and language conformance. For implementation or procurement decisions, obtain the full ISO/IEC 13211-1:1995 text from ISO to review exact normative language, examples, and formal semantics.

ISO/IEC 13211-1:1995 PDF

Abstract

Похожие стандарты

Overview

Key topics and requirements

Applications and who uses it

Related standards and next steps

Технические детали

ISO 8689-1:2000

Water quality — Biological classification of rivers — Part 1: Guidance on the interpretation of biological qu…

ISO/ASTM51540-04(2012)

Standard Practice for Use of a Radiochromic Liquid Dosimetry System (Withdrawn 2020)

ISO/ASTM51204-04

Standard Practice for Dosimetry in Gamma Irradiation Facilities for Food Processing (Withdrawn 2013)

ISO/ASTM51431-05

Standard Practice for Dosimetry in Electron Beam and X-Ray (Bremsstrahlung) Irradiation Facilities for Food P…

ISO/ASTM52628-20e1

Standard Practice for Dosimetry in Radiation Processing

ISO/ASTM52921-13(2019)

Standard Terminology for Additive Manufacturing—Coordinate Systems and Test Methodologies

ISO/ASTMTR52917-EB

Additive Manufacturing — Round Robin Testing — General Guidelines

ISO/ASTM52901-17(2023)

Standard Guide for Additive Manufacturing – General Principles – Requirements for Purchased AM Parts