原创力文档【英语版】国际标准 ISO/IEC 13211-1:1995 EN 信息技术 -- 编程语言 -- Prolog -- 第1部分：一般核心内容 Information technology -- Programming languages -- Prolog -- Part 1: General core.pdf
- 1
- 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
- 国际标准 ISO/IEC 13211-1:1995 EN Information technology -- Programming languages -- Prolog -- Part 1: General core 信息技术 -- 编程语言 -- Prolog -- 第1部分：一般核心内容.pdf
- 国际标准 ISO/IEC 13211-2:2000 EN 信息技术——编程语言——Prolog——第2部分：模块 Information technology -- Programming languages -- Prolog -- Part 2: Modules.pdf
- 国际标准 ISO/IEC 13211-2:2000 EN Information technology -- Programming languages -- Prolog -- Part 2: Modules 信息技术——编程语言——Prolog——第2部分：模块.pdf
- 国际标准 ISO/IEC 13211-2:2000 EN 信息技术 程序设计语言 Prolog 第2部分：模块 Information technology — Programming languages — Prolog — Part 2: Modules.pdf
- 国际标准 ISO/IEC 13211-2:2000 EN Information technology — Programming languages — Prolog — Part 2: Modules 信息技术 程序设计语言 Prolog 第2部分：模块.pdf
- 国际标准 ISO/IEC 13213:1994 EN 信息技术 微处理器系统 微机总线的控制和状态寄存器（CSR）结构 Information technology — Microprocessor systems — Control and Status Registers (CSR) Architecture for microcomputer buses.pdf
- 国际标准 ISO/IEC 13213:1994 EN Information technology — Microprocessor systems — Control and Status Registers (CSR) Architecture for microcomputer buses 信息技术 微处理器系统 微机总线的控制和状态寄存器（CSR）结构.pdf
- 国际标准 ISO/IEC 13213:1994 EN 信息技术 - 微处理器系统 - 微计算机总线的控制和状态寄存器(CSR)体系结构 Information technology - Microprocessor systems - Control and Status Registers (CSR) Architecture for microcomputer buses.pdf
- 国际标准 ISO/IEC 13213:1994 EN Information technology - Microprocessor systems - Control and Status Registers (CSR) Architecture for microcomputer buses 信息技术 - 微处理器系统 - 微计算机总线的控制和状态寄存器(CSR)体系结构.pdf
- 国际标准 ISO/IEC 13235-1:1998 EN 信息技术 -- 开放分布式处理 -- 交易功能: 规范 Information technology -- Open Distributed Processing -- Trading function: Specification.pdf
最近下载
- 铁路建设工程生产安全重大事故隐患判定标准解读PPT.pptx
- 第四单元 我们生活的空间（一）（教案）2025-2026学年度北师大版数学三年级上册.doc VIP
- 质量保证及售后服务承诺（包括质保期、售后服务承诺、维修响应时间、质保期内外的后续服务和维护能力情况等)质量保证体系.PDF VIP
- 高端案场物业服务方案.pptx VIP
- 注塑模具基本介绍.ppt VIP
- 物业案场售楼处物业服务手册.pdf VIP
- 医疗器械经营企业质量管理体系文件(2026版).doc VIP
- 信息学奥赛一本通·初赛真题解析 第1章：计算机基础知识.ppt VIP
- 《防御性驾驶培训》课件.pptx VIP
- 温室控制系统（GCS）系列：Priva Connext_（1）.PrivaConnext系统概述.docx VIP
文档评论（0）