Programming languages - Prolog - Part 3: Definite clause grammar rules as an extension of ISO/IEC 13...
This document promotes the applicability and portability of Prolog grammar rules in data
processing systems that support standard Prolog as defined in ISO/IEC 13211–1:1995/Cor
1:2007/Cor 2:2012/Cor 3:2017 and ISO/IEC 13211–2:2000. This document specifies:
a) The representation, syntax, and constraints of Prolog grammar rules
b) A logical expansion of grammar rules into Prolog clauses
c) A set of…
Molecular biomarkers — Detection of DNA in cotton used for textile production — Part 1: Extraction o...
This document specifies requirements and recommendations to laboratories that perform extraction of polymerase chain reaction (PCR) quality deoxyribonucleic acid (DNA) from cottonseed, cotton leaf and raw material derived therefrom, that is sufficient for the purpose of PCR analysis.
This document is applicable to:
a)      identifying cotton raw material from which PCR quality DNA can be…
Ergonomics of human-system interaction — Part 112: Principles for the presentation of information
This document establishes ergonomic design principles for interactive systems related to the software-controlled presentation of information by user interfaces. It applies to the three main modalities (visual, auditory, tactile or haptic) typically used in information and communication technology (ICT). These principles apply to the perception and understanding of presented information. These…
Security and resilience — Protective security — Part 2: Guidelines for crime prevention through envi...
This document provides guidelines to organizations for establishing general and specific strategies to prevent and reduce crime and the fear of crime at new or existing residential facilities, in single or multiple units. This document builds on the concepts and processes described in ISO 22341, in the context of residential facilities.
It provides recommendations on countermeasures and actions…
Soil and waste characterization — Temperature dependent differentiation of total carbon (TOC400, ROC...
This document specifies a method for the differentiated determination of the organic carbon content (TOC400) which is released at temperatures up to 400 °C, the residual oxidizable carbon (ROC) (including e.g. lignite (brown coal), hard coal, charcoal, black carbon, soot) and the inorganic carbon (TIC900) which is released at temperatures up to 900 °C.
The basis of this method is the dry…
Programming languages — Prolog — Part 3: Definite clause grammar rules as an extension of ISO/IEC 13...
This document promotes the applicability and portability of Prolog grammar rules in data
processing systems that support standard Prolog as defined in ISO/IEC 13211–1:1995/Cor
1:2007/Cor 2:2012/Cor 3:2017 and ISO/IEC 13211–2:2000. This document specifies:
a) The representation, syntax, and constraints of Prolog grammar rules
b) A logical expansion of grammar rules into Prolog clauses
c) A set of…