ISO/IEC 13211-1:1995
$55.25
Information technology — Programming languages — Prolog — Part 1: General core
| Published By | Publication Date | Number of Pages |
| ISO | 1995-06 | 207 |
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.
Related products
-
IEEE ISO IEC 13213 1994
ISO/IEC 13213:1994, Information technology–Microprocessor systems–Control and Status Registers (CSR) Architecture for microcomputer buses Published By…
-
BSI DD 234:1996
Grading polished diamonds. Terminology and classification Published By Publication Date Number of Pages BSI 1996…
-
BS 2782-11 Method 1104A:1983
Methods of testing plastics. Thermoplastics pipes, fittings and valves – Measurement of opacity of thermoplastics…
-
IEEE 1003.1 2008
Standard for Information Technology – Portable Operating System Interface (POSIX(R)) Published By Publication Date Number…
-
BS 4772:1988
Specification for ductile iron pipes and fittings Published By Publication Date Number of Pages BSI…
-
BS ISO 13218:1998
Road vehicles. Child restraint systems. Report form for accidents involving child passengers Published By Publication…
-
BS EN ISO 17639:2013
Destructive tests on welds in metallic materials. Macroscopic and microscopic examination of welds Published By…
-
BS ISO 13215-3:1999
Road vehicles. Reduction of misuse risk of child restraint systems – Part 3: Prediction and…
-
BS EN 10211:2013
Chemical analysis of ferrous materials. Determination of titanium in steels and cast irons. Flame atomic…
-
BS ISO/IEC 13211-1:1995:2017 Edition
Information technology. Programming languages. Prolog – General core Published By Publication Date Number of Pages…
-
BS EN ISO 1211:2001
Milk. Determination of fat content. Gravimetric method (Reference method) Published By Publication Date Number of…
-
BS 2782-3 Method 350:1984
Methods of testing plastics. Mechanical properties – Determination of Izod impact strength of rigid materials…
-
BS EN ISO 10211:2007:2009 Edition
Thermal bridges in building construction. Heat flows and surface temperatures. Detailed calculations Published By Publication…
-
IEEE 1003.1-2008
IEEE Standard for Information Technology – Portable Operating System Interface (POSIX(TM)) Published By Publication Date…
-
BS ISO 13215-2:1999
Road vehicles. Reduction of misuse risk of child restraint systems – Requirements and test procedures…
-
IEEE 13210 1994
ISO/IEC 13210: 1994, Information Technology–Test Methods for Measuring Conformance to POSIX(R) Published By Publication Date…
-
BS 5892-1:1983
Railway rolling stock material (metric) – Specification for axles for traction and trailing stock Published…
-
BS ISO 13216-1:1999:2006 Edition
Road vehicles. Anchorages in vehicles and attachments to anchorages for child restraint systems – Seat…
-
BS 4586:1984
Specification for spiral wire reinforced rubber covered hydraulic hoses and hose assemblies Published By Publication…
-
BS ISO/IEC 13213:1994:1995 Edition
Information technology. Microprocessor systems. Control and Status Registers (CSR) Architecture for microcomputer buses Published By…
-
BS 709:1983
Methods of destructive testing fusion welded joints and weld metal in steel Published By Publication…
-
BS ISO/IEC 13241:1997
Information technology. Telecommunications and information exchange between systems. Private integrated services network. Inter-exchange signalling protocol.…
-
BS EN ISO 10211-1:1996:2003 Edition
Thermal bridges in building construction. Heat flows and surface temperatures – General calculation methods Published…
-
BSI PD IEC TR 63211-2-12:2020
Durability test methods for electronic displays – Environmental tests. Environmental conditions of use, storage and…
-
BS ISO 13311:1997
Iron ores. Determination of lead content. Flame atomic absorption spectrometric method Published By Publication Date…
-
BS ISO/IEC 13210:1999:2000 Edition
Information technology. Requirements and guidelines for test methods specifications and test method implementation for measuring…
-
BS ISO 13215-3:2022
Road vehicles. Reduction of misuse risk of child restraint systems – Prediction and assessment of…
-
BS ISO/IEC 13210:1994:1995 Edition
Information technology. Test methods for measuring conformance to POSIX Published By Publication Date Number of…
-
BS 1741:1963:1989 Edition
Methods for the chemical analysis of liquid milk and cream Published By Publication Date Number…
-
BS EN 27201-1:1994:1990 Edition
Fire protection. Fire extinguishing media. Halogenated hydrocarbons – Specifications for halon 1211 and halon 1301…
-
BS EN 10211:1996
Chemical analysis of ferrous materials. Determination of titanium in steel and iron. Flame atomic absorption…
-
BS EN 1321:1997:2004 Edition
Destructive test on welds in metallic materials. Macroscopic and microscopic examination of welds Published By…
-
BS 490-10.4:1983
Conveyor and elevator belting. Testing for physical properties – Method for determination of adhesion strength…
-
CSA ISO/IEC 13210:02 (R2020):2002 Edition
Information Technology – Requirements and Guidelines for Test Methods Specifications and Test Method Implementations for…
-
BSI PD IEC TR 63211-2-12:2020
Durability test methods for electronic displays – Environmental tests. Environmental conditions of use, storage and…
-
BS 5281:1975
Specification for ferrule-secured eye terminations for wire ropes Published By Publication Date Number of Pages…
-
BS 1741-3:1987
Methods for chemical analysis of liquid milk and cream – Determination of fat content of…
-
BS EN ISO 1211:1995
Milk. Determination of fat content. Gravimetric method (reference method) Published By Publication Date Number of…
-
BS AU 50-1-2f:1987
Tyres and wheels. Tyres – Specification for sizes, loads, inflation pressures and rims for commercial…
-
BS ISO 13215-2:2022
Road vehicles. Reduction of misuse risk of child restraint systems – Requirements and test procedures…
