ISO/IEC TS 13211-3:2025
								
									
									International Standard
								
								
								
									 
									Current Edition
									
								
								
									·
									Approved on
									04 June 2025
								
							
							Programming languages — Prolog — Part 3: Definite clause grammar rules as an extension of ISO/IEC 13211-1
ISO/IEC TS 13211-3:2025 Files
													English
													
														18 Pages
													
												
												
													
														Current Edition
														
													
													
												
			                                
													45.77 BHD
												
			                                
			                                
			                            ISO/IEC TS 13211-3:2025 Scope
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
Best Sellers
GSO 150-2:2013
   
                        
                            
                            
                                Gulf Standard
                            
                        
                        
                            
                            
                                
                                Expiration dates for food products - Part 2 :
Voluntary expiration dates
                            
                        
                        
                        BH GSO 150-2:2015
   
                        
                            GSO 150-2:2013 
                        
                        
                    
                            
                            
                                Bahraini Standard
                            
                        
                        
                            
                            
                                
                                Expiration dates for food products - Part 2 :
Voluntary expiration dates
                            
                        
                        
                        BH GSO 2055-1:2016
   
                        
                            GSO 2055-1:2015 
                        
                        
                    
                            
                            
                                Bahraini Technical Regulation
                            
                        
                        
                            
                            
                                
                                HALAL FOOD - Part 1 : General Requirements
                            
                        
                        
                        GSO 2055-1:2015
   
                        
                            
                            
                                Gulf Technical Regulation
                            
                        
                        
                            
                            
                                
                                HALAL FOOD - Part 1 : General Requirements
                            
                        
                        
                        Recently Published
ISO 24490:2025
   
                        
                            
                            
                                International Standard
                            
                        
                        
                            
                            
                                
                                Cryogenic vessels — Centrifugal pumps for cryogenic service
                            
                        
                        
                        ISO 21660-2:2025
   
                        
                            
                            
                                International Standard
                            
                        
                        
                            
                            
                                
                                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
   
                        
                            
                            
                                International Standard
                            
                        
                        
                            
                            
                                
                                Internships — Quality guidelines for host organizations
                            
                        
                        
                        GSO 1796:2007
   
                        
                            
                            
                                Gulf Standard
                            
                        
                        
                            
                            
                                
                                Methods of test for two pieces aluminum round cans used for canning food (Beverages & stuffs