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

下载本文档

基本信息：

  • 标准号：ISO/IEC 13211-2:2000 EN
  • 标准名称：信息技术-程序设计语言-Prolog-第2部分：模块
  • 英文名称：Information technology -- Programming languages -- Prolog -- Part 2: Modules
  • 标准状态：现行
  • 发布日期：2000-06-08

文档简介

Prolog是一种逻辑编程语言，它使用逻辑推理来解决问题。在Prolog中，程序是由规则和事实组成的，这些规则和事实定义了Prolog程序中的数据和操作。模块是Prolog程序中的基本构建块，它们提供了一种组织代码和共享公共代码的方法。

ISO/IEC13211-2:2000EN提供了模块的标准定义和语法，包括模块的声明、模块内容的格式、模块的导入和导出规则等。该标准还定义了模块的存储格式和访问方式，包括在内存中的表示、在磁盘上的存储、模块的加载和卸载等操作。此外，该标准还提供了模块之间的交互和通信机制，包括参数传递、变量绑定和函数调用等。

在Prolog程序中，模块可以用于组织代码、提高代码的可维护性和可重用性、减少重复代码和提高程序的可读性和可理解性。通过使用模块，程序员可以将相关的代码组织在一起，并共享公共部分，这有助于提高代码的质量和效率。此外，模块还可以提供一种跨语言和跨平台的编程方式，因为不同的语言和平台可以使用相同的模块标准。

ISO/IEC13211-2:2000EN标准为Prolog程序中的模块提供了详细的规范和标准化的接口，有助于提高代

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

温馨提示

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

最新文档

评论

0/150

提交评论