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 صفحات
الإصدار الحالي
46.39 BHD

مجال الوثيقة 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
 
مواصفة قياسية خليجية
فترات صلاحية المنتجات الغذائية - الجزء الثاني : فترات الصلاحية الاختيارية
BH GSO 150-2:2015
GSO 150-2:2013 
مواصفة قياسية بحرينية
فترات صلاحية المنتجات الغذائية - الجزء الثاني : فترات الصلاحية الاختيارية
BH GSO 2055-1:2016
GSO 2055-1:2015 
لائحة فنية بحرينية
الأغذية الحلال – الجزء الأول : الاشتراطات العامة للأغذية الحلال
GSO 2055-1:2015
 
لائحة فنية خليجية
الأغذية الحلال – الجزء الأول : الاشتراطات العامة للأغذية الحلال

اعتمدت مؤخراً

ISO 1952:2025
 
مواصفة قياسية دولية
Coal — Determination of extractable metals in dilute hydrochloric acid
ISO 5834-1:2025
 
مواصفة قياسية دولية
Implants for surgery — Ultra-high-molecular-weight polyethylene — Part 1: Powder form
ISO 5834-3:2025
 
مواصفة قياسية دولية
Implants for surgery — Ultra-high-molecular-weight polyethylene — Part 3: Accelerated ageing methods after gamma irradiation in air
ISO 15238:2025
 
مواصفة قياسية دولية
Coal — Determination of total cadmium