ISO/IEC TS 13211-3:2025
مواصفة قياسية دولية
الإصدار الحالي
·
اعتمدت بتاريخ
٠٤ يونيو ٢٠٢٥
Programming languages — Prolog — Part 3: Definite clause grammar rules as an extension of ISO/IEC 13211-1
ملفات الوثيقة ISO/IEC TS 13211-3:2025
الإنجليزية
18 صفحات
الإصدار الحالي
47.02 OMR
مجال الوثيقة ISO/IEC TS 13211-3:2025
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 built-in predicates for parsing with grammar rules
الأكثر مبيعاً
GSO 150-2:2013
مواصفة قياسية خليجية
فترات صلاحية المنتجات الغذائية - الجزء الثاني :
فترات الصلاحية الاختيارية
OS GSO 150-2:2013
GSO 150-2:2013
مواصفة قياسية عمانية
فترات صلاحية المنتجات الغذائية - الجزء الثاني :
فترات الصلاحية الاختيارية
OS GSO 2055-1:2015
GSO 2055-1:2015
مواصفة قياسية عمانية
الأغذية الحلال – الجزء الأول : الاشتراطات العامة للأغذية الحلال
GSO 2055-1:2015
لائحة فنية خليجية
الأغذية الحلال – الجزء الأول : الاشتراطات العامة للأغذية الحلال
اعتمدت مؤخراً
ISO 20589:2025
مواصفة قياسية دولية
Glass in building — Determination of the emissivity
ISO 11265:2025
مواصفة قياسية دولية
Environmental solid matrices — Determination of the specific electrical conductivity
ISO 11465:2025
مواصفة قياسية دولية
Sludge and solid environmental matrices — Determination of dry residue or water content and calculation of the dry matter fraction on a mass basis
ISO 9350:2025
مواصفة قياسية دولية
Corrosion of metals and alloys — Testing method of corrosion resistance for hafnium at high temperature and pressure