原创力文档【英语版】国际标准 ISO/IEC 13211-1:1995 EN Information technology -- Programming languages -- Prolog -- Part 1: General core 信息技术 -- 编程语言 -- Prolog -- 第1部分：一般核心内容.pdf
- 2
- 0
- 2024-07-10 发布于四川
-
正版发售
- 现行
- 正在执行有效期
- | 1995-06-01 颁布
- 1、本标准文档预览图片由程序生成，具体信息以下载为准。
- 2、本网站所提供的标准文本仅供个人学习、研究之用，未经授权，严禁复制、发行、汇编、翻译或网络传播等，侵权必究。
- 3、本网站所提供的标准均为PDF格式电子版文本（可阅读打印），因数字商品的特殊性，一经售出，不提供退换货服务。
- 4、标准文档要求电子版与印刷版保持一致，所以下载的文档中可能包含空白页，非文档质量问题
查看更多
以下文本介绍内容由我方AI生成，信息仅供参考，如有出入，请以实际为准。
ISO/IEC13211-1:1995《信息技术编程语言Prolog第1部分：一般核心》是一套关于Prolog编程语言的国际标准。Prolog是一种逻辑编程语言，它的核心是逻辑推理。这个标准定义了Prolog语言的基本语法、控制结构、数据类型、函数和查询语言等。它详细描述了Prolog语言的规则和语义，以及如何使用它进行逻辑推理和编程。这个标准对于使用Prolog进行人工智能、自然语言处理、自动定理证明等领域的研究和开发具有重要的指导意义。
您可能关注的文档
- 国际标准 ISO/IEC 13066-1:2011 EN 信息技术-辅助技术（AT）互操作性-第1部分：互操作性的要求和建议 Information technology - Interoperability with assistive technology (AT) - Part 1: Requirements and recommendations for interoperability.pdf
- 国际标准 ISO/IEC 13066-1:2011 EN Information technology - Interoperability with assistive technology (AT) - Part 1: Requirements and recommendations for interoperability 信息技术-辅助技术（AT）互操作性-第1部分：互操作性的要求和建议.pdf
- 国际标准 ISO/IEC 13066-1:2011 EN 信息技术 与辅助技术（AT）的互操作性 第1部分：互操作性的要求和建议 Information technology — Interoperability with assistive technology (AT) — Part 1: Requirements and recommendations for interoperability.pdf
- 国际标准 ISO/IEC 13066-1:2011 EN Information technology — Interoperability with assistive technology (AT) — Part 1: Requirements and recommendations for interoperability 信息技术 与辅助技术（AT）的互操作性 第1部分：互操作性的要求和建议.pdf
- 国际标准 ISO/IEC 13156:2011 EN 信息技术——电信与系统间信息交换——高速度60 GHz物理层、媒体接入控制和物理地址扩展器 Information technology -- Telecommunications and information exchange between systems -- High rate 60 GHz PHY, MAC and PALs.pdf
- 国际标准 ISO/IEC 13156:2011 EN Information technology -- Telecommunications and information exchange between systems -- High rate 60 GHz PHY, MAC and PALs 信息技术——电信与系统间信息交换——高速度60 GHz物理层、媒体接入控制和物理地址扩展器.pdf
- 国际标准 ISO/IEC 13156:2011 EN 信息技术 电信和系统间信息交换 高速率 60 GHz PHY、MAC 和 PAL Information technology — Telecommunications and information exchange between systems — High rate 60 GHz PHY, MAC and PALs.pdf
- 国际标准 ISO/IEC 13156:2011 EN Information technology — Telecommunications and information exchange between systems — High rate 60 GHz PHY, MAC and PALs 信息技术 电信和系统间信息交换 高速率 60 GHz PHY、MAC 和 PAL.pdf
- 国际标准 ISO/IEC 13157-1:2014 EN 信息技术 电信和系统间信息交换 NFC 安全 第1部分：NFC-SEC NFCIP-1 安全服务和协议 Information technology — Telecommunications and information exchange between systems — NFC Security — Part 1: NFC-SEC NFCIP-1 security services and protocol.pdf
- 国际标准 ISO/IEC 13157-1:2014 EN Information technology — Telecommunications and information exchange between systems — NFC Security — Part 1: NFC-SEC NFCIP-1 security services and protocol 信息技术 电信和系统间信息交换 NFC 安全 第1部分：NFC-SEC NFCIP-1 安全服务和协议.pdf
- 2025年中化集团方舟生招聘笔试备考题库（带答案详解）.pdf
- 2025年中建西南设计院招聘笔试备考题库（带答案详解）.pdf
- 2025年南通市慈善总会招聘笔试备考题库（带答案详解）.pdf
- 2025年江西网吉安分站招聘笔试备考题库（带答案详解）.pdf
- 2025年山西三晋都市报招聘笔试备考题库（带答案详解）.pdf
- 2025年山西省高河能源招聘笔试备考题库（带答案详解）.pdf
- 2024年贵州省毕节地区大方县大水乡招聘社区工作者真题含答案详解.docx
- 2024年贵州省贵阳市开阳县永温乡招聘社区工作者真题及答案详解1套.docx
- 2024年贵州省贵阳市南明区新华路街道招聘社区工作者真题及答案详解1套.docx
- 2024年贵州省遵义市仁怀市长岗镇招聘社区工作者真题及参考答案详解.docx
最近下载
- 2025年太仓市太訸控股集团有限公司第二批公开招聘19人笔试备考题库及答案解析.docx VIP
- 《食管癌综合治疗新进展》课件.ppt VIP
- 商铺租赁合同电子版下载打印.docx VIP
- 2025年太仓市太訸控股集团有限公司第二批公开招聘19人笔试参考题库附答案解析.docx VIP
- 2025年太仓市太訸控股集团有限公司第二批公开招聘19人备考题库及答案解析.docx VIP
- 《危重患者的抢救》课件.ppt VIP
- 孕产妇心肺复苏要点课件.pptx VIP
- 农村小学中高年级学生阅读兴趣培养策略研究-课题申请评审书.docx VIP
- 工程制图制图基础.ppt VIP
- 简约产品订货合同模板.docx VIP
文档评论（0）