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 صفحات
													
												
												
													
														الإصدار الحالي
														
													
													
												
			                                
													45.77 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 24490:2025
   
                        
                            
                            
                                مواصفة قياسية دولية
                            
                        
                        
                            
                            
                                Cryogenic vessels — Centrifugal pumps for cryogenic service
                                
                            
                        
                        
                        ISO 21660-2:2025
   
                        
                            
                            
                                مواصفة قياسية دولية
                            
                        
                        
                            
                            
                                Solid recovered fuels — Determination of moisture content using the oven dry method — Part 2: Determination of total moisture by a simplified method
                                
                            
                        
                        
                        ISO 29997:2025
   
                        
                            
                            
                                مواصفة قياسية دولية
                            
                        
                        
                            
                            
                                Internships — Quality guidelines for host organizations
                                
                            
                        
                        
                        GSO 1796:2007
   
                        
                            
                            
                                مواصفة قياسية خليجية
                            
                        
                        
                            
                            
                                طرق اختبار العلب الألمونيوم المستديرة ذات القطعتين المستخدمة في تعبئة المواد الغذائية (المرطبات والعصائر)