单位代码 01 学 号 070112058分 类 号 TP393 密 级_ _ _文 献 翻 译面向逻辑框架的 WEB 编程院 （ 系 ） 名 称 信 息 工 程 学 院专 业 名 称 软 件 工 程学 生 姓 名指 导 教 师黄河科技学院毕业设计(文献翻译) 第 1 页 英文译文面向逻辑框架的 WEB 编程朱利奥，安德里亚，恩里科摘 要万维网作为一个开发平台尽管流行，但是设计一个恰当描述它的结构原则和设计标准被确立仅仅在过去十年里，通过引入代表性的状态转换构造风格，其定义了以资源为核心的抽象信息。被用的语言和工具作为 Web 程序规划，通常很难理解缺乏适当它的结构和设计的拘束，从抽象不匹配，使其难以充分利用网络的潜力。叙述式语言适当的为编程系统瞄准一个的合适网络架构和原理。在逻辑技术中，tuProlog 已经明确地被设计是以英特网为基础的基础设施的促成元件之一:其工程特性在web,在运行时间内允许适当的修改逻辑编程资源。因此，本文中我们提出一个开发基于这个模型的设计Web资源和概述一个框架web应用程序的 Prolog的逻辑模型。关键字：万维网，语境，tuProlog，Prolog1 介绍尽管流行的网络平台的开发和实现多以互联网为基础的系统，但设计了一个恰当的描述网站的设计原则和建筑标准仅仅在过去十年里已经达到，通过引入代表性的状态转换(其他)结构风格为超媒体系统 1。以其他资源为重点，定义了抽象的信息沟通和互动,规定在资源发生时，通过一致的接口转换代表性的资源现状。然而,从早期程序上的CGI脚本到现代的面向对象的框架，web应用程序编程一直集中在不同的抽象概念上，如页面 6、控制器 15和最近的服务器 11，从而面对不协调，使得很难开发可能的网站结构特性。事实上，一个网页是计算涉及一个或更多资源的结果，并且处理结果仅仅在表现问题的客户端；另一方面，一个控制器恰好是(仅仅)一个程序框架的抽象，共享几乎没有任何其潜在的网络平台。相反，忽视网络标准如黄河科技学院毕业设计(文献翻译) 第 2 页 URI和HTTP，因此他们从不获得利益而言，其余架构依据可缓存性、连通性、可寻址行、一致性和互操作性 14。作为一个事实, 声明程序设计在网络逻辑语言的主流中从未被接受，尽管研究人员表示他们能有效地处理基于网络环境 1的沟通和协调和逻辑技术已经成功用于智能设计元件为核心的网络基础设施 2。然而，其余的集中在以资源再现为主要驱动的相互作用，并给出了相应的网络计算模型，在架构以资源为目标的应用程序中声明语言能发挥了重要的作用。利用元素的优势从逻辑编程语言比如 Prolog 既有代表性的基础网络计算模型：一个资源的声明可以被操作，在子句开始并给出了程序的解释，在资源涉及到运算时直接被解释器执行。在本文中，我们讨论一个资源编程模型、Web 逻辑编程 (WebLP)13，把与元素与之相适应的逻辑范例和逻辑技术相结合 (例如 tuProlog 引擎 2)，来定义一个 Web 应用程序框架释放快速原型当支持网络架构特性比如可扩展性和可变性。2 WEB 逻辑编程WEB 逻辑编程(WebLP) 13是一种基于 Prolog 的逻辑模型，其应用于系统约束的万维网架构的交互作用。 起初网络逻辑编程描述的事其主要的数据类型抽象，然后定义它的计算模型。2.1 资源定义了一个资源，为任何其他概念的目标的超链接文本。任何信息，那可命名为是一种资源，包括虚拟(如文件)及不是实质上(例如一个人)的物体。从如此抽象的定义、主要性质的资源可以很容易地确定：一个名字(URI 的形式)；数据代表着资源状态和行为，以用来改变的状态或管理与企业的其他资源的交互作用。在界定的资源可以轻易的将元素映射到元素的逻辑编程语言，比如 Prolog：对于每个资源 R，其名称 N(R)可以被指定为单一资源的 URI 引用原子含有标识符，当数据和行为可以进一步确认为事实和规则，分别在一个逻辑理论 T(R)包含了知识库相关资源。特别地,如果它是描述性的名字，采用资源在可预知的方式 14中 有明确的结构变化，它们有一个共同的特征是一个有趣的特性，对他们自己的：任何路径，可以解释为包括一套资源的名称。证明这条线，我们说一个资源的名字，如：http : /example.com/sales/2004/Q4黄河科技学院毕业设计(文献翻译) 第 3 页 涵盖的其他资源的名字也就是说，那些可能相关的项目包括提高子路径域的根源 URI:http : /example.com/sales/2004http : /example.com/saleshttp : /example.comWe denote this by writing:N(R) N(R1) . . . N(Rn)每个 N(Ri)是指相应的资源 Ri。这个命名结构强调资源并不是孤立的，而是在一个信息化环境中由资源相关资源的名字里面的名字。为了说明网络计算的复杂性，可能涉及的信息比它是封闭在一个隔离资源更多，上下文 C(R)介绍了消失的计算与相关各资源。这样一个背景下，然后是定义所组成的理论与之相关联的名字是资源与资源的名字里面的理论，包括与之关联的资源本身。因此，比如，上下文 C(R)向关联的表示以上资源 R 命名为 N(R)产生：C(R) = T (R) T (R1) . . . T (Rn)任何理论 T(Ri)，含有知识库相关资源的 Ri，可以为空例如，当没有实体实际上有关的名字 N(Ri)。2.2 计算模型根据 WEB 计算模型围绕交易的 HTTP 协议。每个事务都从一个请求开始，含有WEB 计算的两个主要成份：方法信息，表明寄件人如何期望接收器处理应用，范围信息，表明部分数据集接收器将申请方法 14。该方法在 Web 中，信息都包含在这 HTTP请求的方法(例句 GET, POST)和范围的信息资源的 URI 是要定向请求。网络计算的结果是一种响应，告知请求成功或失败，随机包含表示新状态的目标资源。采用一种逻辑编程计算模型，每个网络 HTTP 协议的要求可以被解释为一个推论信息映射到目标的范围和方法理论，信息发布到了一个适当的逻辑目标。然后，计算在服务器端发生 HTTP 协议，在语义中联系目标资源的请求。目标信息的解决方案是造成最终翻译转化为一个合适的陈述，返回 HTTP 响应。黄河科技学院毕业设计(文献翻译) 第 4 页 它允许用户调用它，而目标计算的一种资源 R 触发 G 的演绎成 G 对语境 C(R)。这篇构图的理论形成 C(右)然后经过一个非常类似的方式作为单位在语境的逻辑编程(CtxLP)中 9。目标 G 依次询问每个理论: 如果没有找到任何理论解答，这个目标失败，或一旦解决了利用知识库中的一种理论 T(国际扶轮 )则成功。此外，在理论中当目标 G 被子目标替换成相匹配的规则，计算所得的理论从 C(Ri)而不是从最初的上下文被重新启动。这一现象的原因可能的选择是，如果计算已达到C(Ri)，必要的信息以继续进行，最有可能出现在别的任何地方 因为它是典型的假定语境逻辑编程 8；然而，不同的操作(例如，延迟绑定策略)需要的时候也可以很有用。例如,让我们考虑一个书架共享应用,在用户 jdoe 的书架是由 URI 确定http:/example.com/jdoe/shelf:让我们调用这个架子上的资源 s 让我们也认为资源 B，把生物学书籍放在/jdoe/shelf/biology，确定选择 biology books/1 最终是调用在 B 当一个获取请求签发这个资源。如果断定挑选取 biology books/1 依赖于选择 books/3 确定是拿书在 B 或是 S，理论上是 C(B)http:/example.com 越过向后的资源，作为描述，如图 1，在那里一个合适的定义来取 books/3 并最终找到。根据上述(期望)策略，定义为其他属性调用然后从上下文的根源，而不是 C(B)，在该计算最初开始。图 1 书架上的 jdoe/shelf/biology 得到响应 HTTP 请求而最终调用选 biology book/1，依次挑选书籍 books/3。语境是直到恰当定义，因为它是发现在这里，在这个/ 资源。值得注意的是，无论如何，不像语境逻辑编程，它可能将或流行单位在运行时从上下文堆栈，固定结构的 URIs 为资源标识符使组成的理论形成了一个上下文是静止的。此外，结构的标识符、资源的网络架构的高低决定了独特的方向理论的相关资源组成了一个上下文可以穿越那就是，从最外层(与之关联的资源在计算已被调用)到最黄河科技学院毕业设计(文献翻译) 第 5 页 深处，经过理论属于每个组成资源,直到主资源是最后参与。2.3 动态资源特性资源特性动态下可以看作是两个独立的方面。首先，两个或两个以上的 URIs 可以表示在任何时间相同资源的联系：即名字为 N1(R)、，Nm(R)可确定为同一资源 R，因此同样的知识库中包含 T(R)相关理论的资源。每一个不同的名字的 Ni(R)也用来识别不同环境下的 Ci(R)，同一资源 R 可能经历在里面 (见图 2)，因此，判断应用于 T(R)但未定义行为有可能以不同的方式给出定义，通过上下文资源是访问。图 2 逻辑理论问题的一种资源代表销售额为 2004 年第四季度的可被两个不同的名字识别，因此住进两个不同的上下文环境。第二个动态方面的资源来自于行为规则的表达能力，一个逻辑编程语言的抽象：一方面，众所周知逻辑机制规定操作(the assertz/1 and retract/1 判断)可以被利用，改变知识库的相关资源；另一方面，HTTP 协议本身通过 PUT 请求的方法允许改变一个资源，其内容应考虑作为一种经过改良的目标资源来代替(或合并)最初版本居住在服务器上的资源。例如，让我们想象一个阅读期望列表在之前的书架上的应用。通常，当新增加一本书，该资源代表着希望的列表可以检查当地图书馆的图书的有效性，并可能借它用户的身份：如果没有找到书，这个资源可以检查其在网上书店可用性、应为用户将来采购报告其价格。然而，在销售时间，当一个网上书店提供折扣，期望清单资源应该对插入的新书首先检查储存。实现这种功能，网络应用程序然后能被指导去改变行为的期望清单资源的请求，黄河科技学院毕业设计(文献翻译) 第 6 页 签发 HTTP 把修改计算表示这些资源。这将要求将进行新规则的内容，所以期望清单会修改他们的知识库资源进行相应的调整。应用终于可以恢复旧的行为结束的时候，折扣期限内发送另一个程序中含有以前把要求每一个愿望清单规则集的资源。3 tuProlog：逻辑控制技术对网页tuProlog3是一个最小的基于 Java 的系统，明确设计整合可配置的和可扩展的Prolog 成分，在标准的网络应用程序中，并被用来作为核心技术提供基本协调能力成为复杂的网络基础设施 2。除了配置性和可扩充性，tuProlog 是专为特写的其他工程性质,特别适合于分布式系统架构那就是，解除部署、轻盈和互操作性的标准操作规程(按照 RMI，CORBA， TCP/IP)。这些特性是与构建属性描述相匹配，使 tuProlog 成为一个好的候选的核心推理机来处理资源计算和它们之间的相互作用。为了支持 WebLP 框架，一个 tuProlog 引擎将需要是有着概念可扩展(及相关运算符)类似于逻辑脉络，由于各种实现技术的存在，他们从最小的嵌入解释元虚拟机来有效提高。在记忆中有这样一个