• 现行
  • 正在执行有效
  • 1995-06-01 颁布
©正版授权
注：本标准为国际组织发行的正版标准，下载后为完整内容；本图片为程序生成，仅供参考，介绍内容如有偏差，以实际下载内容为准
【正版授权-英语版】 ISO/IEC 13211-1:1995 EN Information technology - Programming languages - Prolog - Part 1: General core_第1页
全文预览已结束

下载本文档

基本信息：

  • 标准号：ISO/IEC 13211-1:1995 EN
  • 标准名称：信息技术-程序设计语言-Prolog-第1部分：一般核心
  • 英文名称：Information technology -- Programming languages -- Prolog -- Part 1: General core
  • 标准状态：现行
  • 发布日期：1995-06-01

文档简介

ISO/IEC13211-1:1995ENInformationtechnology--Programminglanguages--Prolog--Part1:Generalcore是一套编程语言标准，它定义了Prolog编程语言的通用核心。Prolog是一种逻辑编程语言，它基于逻辑规则和推理机制，特别适用于处理自然语言和人工智能任务。

ISO/IEC13211-1:1995标准定义了Prolog编程语言的语法、语义和运行时环境。它描述了Prolog编程语言的变量、数据类型、控制结构、函数和查询机制等基本元素。此外，该标准还定义了Prolog程序的结构和组织方式，以及如何从程序中提取逻辑规则和推理机制。

具体来说，Prolog编程语言具有以下特点：

*逻辑推理：Prolog语言基于逻辑规则和推理机制，可以用于解决自然语言和人工智能相关的问题。

*形式化语法：Prolog的语法和语义都是形式化的，使用逻辑语法和符号表示法来描述程序和查询。

*递归查询：Prolog支持递归查询，可以用来解决复杂的问题和算法。

*程序组织：Prolog程序通常以规则和事实的形式组织，这些规则和事实描述了程序中的逻辑关系和事实。

*动态推理：Prolog具有动态推理特性，可以根据新的查询结果更新程序中的规则和事实。

ISO/IEC13211-1:1995ENInformationtechnology--Programminglanguages--Prolog--Part1:Generalcore标准详细描述了Prolog编程语

人人文库> 全部分类> 行业资料 > 各类标准

温馨提示

  • 1. 本站所提供的标准文本仅供个人学习、研究之用，未经授权，严禁复制、发行、汇编、翻译或网络传播等，侵权必究。
  • 2. 本站所提供的标准均为PDF格式电子版文本（可阅读打印），因数字商品的特殊性，一经售出，不提供退换货服务。
  • 3. 标准文档要求电子版与印刷版保持一致，所以下载的文档中可能包含空白页，非文档质量问题。
  • 4. 下载后请按顺序安装Reader（点击安装）和FileOpen（点击安装）方可打开。详细可查看标准文档下载声明

最新文档

评论

0/150

提交评论