面向逻辑框架的WEB编程.pdf

单位代码 01 学 号070112058 分 类 号 TP393 密 级________ 文献翻译 面向逻辑框架的WEB编程 院 （系）名称 信息工程学院 专 业 名 称 软件工程 学 生 姓 名 指 导 教 师 2011年3 月29 日 黄河科技学院毕业设计(文献翻译) 第 1 页 英文译文 面向逻辑框架的WEB 编程 朱利奥，安德里亚，恩里科 摘 要 万维网作为一个开发平台尽管流行，但是设计一个恰当描述它的结构原则和设计标 准被确立仅仅在过去十年里，通过引入代表性的状态转换构造风格，其定义了以资源为 核心的抽象信息。被用的语言和工具作为 Web 程序规划，通常很难理解缺乏适当它的 结构和设计的拘束，从抽象不匹配，使其难以充分利用网络的潜力。 叙述式语言适当的为编程系统瞄准一个的合适网络架构和原理。在逻辑技术中， tuProlog 已经明确地被设计是以英特网为基础的基础设施的促成元件之一:其工程特 性在web,在运行时间内允许适当的修改逻辑编程资源。因此，本文中我们提出一个开发 基于这个模型的设计Web资源和概述一个框架web应用程序的 Prolog的逻辑模型。 关键字：万维网，语境，tuProlog，Prolog 1 介绍 尽管流行的网络平台的开发和实现多以互联网为基础的系统，但设计了一个恰当的 描述网站的设计原则和建筑标准仅仅在过去十年里已经达到，通过引入代表性的状态转 [1] 换(其他)结构风格为超媒体系统 。以其他资源为重点，定义了抽象的信息沟通和互动, 规定在资源发生时，通过一致的接口转换代表性的资源现状。 然而,从早期程序上的CGI脚本到现代的面向对象的框架，web应用程序编程一直集 [6] [15] [11] 中在不同的抽象概念上，如页面 、控制器 和最近的服务器 ，从而面对不协调，使 得很难开发可能的网站结构特性。事实上，一个网页是计算涉及一个或更多资源的结果， 并且处理结果仅仅在表现问题的客户端；另一方面，一个控制器恰好是(仅仅)一个程序 框架的抽象，共享几乎没有任何其潜在的网络平台。相反，忽视网络标准如URI和HTTP， 黄河科技学院毕业设计(文献翻译) 第 2 页 因此他们从不获得利益而言，其余架构依据可缓存性、连通性、可寻址行、一致性和互 [14] 操作性 。 作为一个事实, 声明程序设计在网络逻辑语言的主流中从未被接受，尽管研究人员 [1] 表示他们能有效地处理基于网络环境 的沟通和协调和逻辑技术已经成功用于智能设计 [2] 元件为核心的网络基础设施 。然而，其余的集中在以资源再现为主要驱动的相互作用， 并给出了相应的网络计算模型，在架构以资源为目标的应用程序中声明语言能发挥了重 要的作用。利用元素的优势从逻辑编程语言比如Prolog既有代表性的基础网络计算模 型：一个资源的声明可以被操作，在子句开始并给出了程序的解释，在资源涉及到运算 时直接被解释器执行。