原创力文档程序设计语言序言第3部分：作为ISO/IEC13211-1扩展的确定子句语法规则标准立项发展报告
EnglishTitle:StandardizationDevelopmentReport:Programminglanguages—Prolog—Part3:DefiniteclausegrammarrulesasanextensionofISO/IEC13211-1
【摘要】
确定子句语法是Prolog语言中用于描述和分析文法的重要记法机制。为统一各Prolog处理系统在语法规则记法、转换语义及内建谓词等方面的差异，国际标准化组织与国际电工委员
您可能关注的文档
- ISO 17867：2020 粒度分析.小角度X射线散射（SAXS）标准立项发展报告.docx
- 输变电系统生命周期腐蚀控制工程一般要求 标准立项发展报告.docx
- 熊蜂饲养技术规范 标准立项发展报告.docx
- 机械安全 安全相关控制系统的功能安全 标准立项发展报告.docx
- ISOIEC 29158：2020 信息技术 - 自动识别和数据采集技术 - 直接零件标记（Dpm）质量指南标准立项发展报告.docx
- 农药田间药效试验准则 第86部分：杀菌剂防治辣椒枯萎病 标准立项发展报告.docx
- 装配式钢结构住宅用耐候抗震热轧H型钢 标准立项发展报告.docx
- ISO 21072-3：2020 船舶和船舶技术 - 海洋环境保护撇油器的性能测试 - 第3部分高粘度油标准立项发展报告.docx
- 谷物和豆类隐蔽虫害的测定 第4部分：快速方法 标准立项发展报告.docx
- 采用机器人技术的辅助手术设备可靠性验证方法 标准立项发展报告.docx
- GB/Z 270-2026安全与韧性 业务连续性管理体系 业务连续性策略指南.pdf
- GB/T 7251.3-2026低压成套开关设备和控制设备 第3部分：由一般人员操作的配电板(DBO).pdf
- 《GB/T 7251.3-2026低压成套开关设备和控制设备 第3部分：由一般人员操作的配电板(DBO)》.pdf
- 中国国家标准 GB/T 7251.3-2026低压成套开关设备和控制设备 第3部分：由一般人员操作的配电板(DBO).pdf
- GB/T 17737.123-2026同轴通信电缆 第1-123部分：电气试验方法 漏泄电缆的衰减常数试验.pdf
- 《GB/T 17737.123-2026同轴通信电缆 第1-123部分：电气试验方法 漏泄电缆的衰减常数试验》.pdf
- 中国国家标准 GB/T 17737.123-2026同轴通信电缆 第1-123部分：电气试验方法 漏泄电缆的衰减常数试验.pdf
- GB/T 17737.124-2026同轴通信电缆 第1-124部分：电气试验方法 漏泄电缆的耦合损耗试验.pdf
- 《GB/T 17737.124-2026同轴通信电缆 第1-124部分：电气试验方法 漏泄电缆的耦合损耗试验》.pdf
- 中国国家标准 GB/T 6379.2-2026测量方法与结果的准确度（正确度与精密度） 第2部分：确定标准测量方法重复性和再现性的基本方法.pdf
文档评论（0）