首页/论文/1012.4240

arXiv 1012.42402010-12-20cs.PL

ECLiPSe -从LP到CLP

ECLiPSe - from LP to CLP

Joachim Schimpf, Kish Shen

备注：: To appear in Theory and Practice of Logic Programming (TPLP)

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

ECLiPSe是一个基于Prolog的编程系统，旨在开发和部署约束编程应用程序。它也用于教学组合问题解决的大多数方面，例如问题建模，约束规划，数学规划和搜索技术。它使用扩展的Prolog作为其高级建模和控制语言，辅以几个约束求解器库，第三方求解器接口，集成开发环境和嵌入主机环境的接口。本文讨论了语言扩展，实现方面，组件和工具，我们认为相关的方式从逻辑编程约束逻辑编程。

英文摘要：

ECLiPSe is a Prolog-based programming system, aimed at the development and deployment of constraint programming applications. It is also used for teaching most aspects of combinatorial problem solving, e.g. problem modelling, constraint programming, mathematical programming, and search techniques. It uses an extended Prolog as its high-level modelling and control language, complemented by several constraint solver libraries, interfaces to third-party solvers, an integrated development environment and interfaces for embedding into host environments. This paper discusses language extensions, implementation aspects, components and tools that we consider relevant on the way from Logic Programming to Constraint Logic Programming.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

Ciao clp（FD）库。Prolog的模块化CLP扩展

The Ciao clp(FD) Library. A Modular CLP Extension for Prolog

我们提出了一个新的免费库约束逻辑编程有限域，包括与Ciao Prolog系统。该库完全用Prolog编写，利用Ciao的模块系统和代码转换功能，以实现高度模块化设计而不影响性能。我们描述了每个模块化组件的接口，实现和设计原理。该库满足几个设计目标：高水平的模块化，允许单个组件被不同版本替换;高效率，与其他FD实现竞争;玻璃盒方法，因此用户可以在不同级别指定新的约束;以及Prolog实现，以简化与Ciao代码分析组件的集成。核心是建立在两个小的库，实现整数范围和闭包。最重要的是，定义了一个有限域变量数据类型，根据范围的变化来处理约束的重新执行。这三个库构成了我们所说的库的FD内核。这个FD内核又用于实现几个更高级别的有限域约束，使用索引指定。这一层与一个标签模块一起构成了我们所称的\emph{the FD solver}。最后一级集成了CLP（FD）范式与我们的FD求解器。这是通过使用属性变量和从clp（FD）语言到求解器提供的约束集的编译器来实现的。应该注意的是，库的用户被鼓励在这些级别中的任何一个上工作，只要看起来方便：从编写新的范围模块到通过编写新的索引来丰富FD约束集。

2013-01-31cs.PL

使用基于Prolog的ECLiPSe CLP系统声明性地解决棘手的Google Code Jam问题

Declaratively solving tricky Google Code Jam problems with Prolog-based ECLiPSe CLP system

在本文中，我们展示了几个例子，解决具有挑战性的算法问题，从谷歌代码果酱编程比赛与基于Prolog的ECLiPSe系统使用声明性技术，如约束逻辑编程和线性（整数）编程。这些问题的目的是要解决发明聪明的算法，并有效地实现它们在传统的命令式程序设计语言，但我们目前相对简单的声明式程序ECLiPSe是足够快的比赛规则所规定的时间内找到答案。我们认为ECLiPSe的声明式编程比命令式编程更适合解决Google Code Jam中提供的某些常见编程问题。我们通过比较两种解决方案所需的心理步骤来证明这一点。

2014-12-14cs.PL

SMT-LIB 中 CLP 问题的编码

An Encoding for CLP Problems in SMT-LIB

本文为 Eldarica CHC 求解器提出新前端，支持 Prolog 输入，并形式化翻译 Prolog 子集至 SMT-LIB 命令，初步实验证明该方法有效且惠及 CHC 求解与 CLP 社区。

2024-04-23cs.LOcs.PL

使用（Ciao-）Prolog和PiLLoW库的分布式WWW编程

Distributed WWW Programming using (Ciao-)Prolog and the PiLLoW library

我们讨论了从实际的角度来看，一些问题涉及到分布式互联网和WWW应用程序使用LP/CLP系统。我们描述PiLLoW，一个公共领域的互联网和WWW编程库LP/CLP系统，我们设计，以简化编写此类应用程序的过程。PiLLoW提供了访问WWW上的文档和代码的工具;解析、操作和生成HTML和XML结构化文档和数据;生成HTML表单;编写表单处理程序和CGI脚本;以及处理HTML/XML模板。PiLLoW的一个重要贡献是将HTML/XML代码（以及WWW页面的内容）建模为术语。PiLLoW库是在Ciao Prolog系统的背景下开发的，但它已经适应了许多流行的LP/CLP系统，支持其大部分功能。我们还描述了使用并发性和客户端-服务器交互的高级模型，Ciao Prolog的活动模块，在WWW编程的背景下。我们提出了一个解决方案，客户端下载和执行的Prolog代码，使用通用浏览器。最后，我们还提供了一个概述的相关工作的主题。

2003-12-16cs.DCcs.PL

表格式CLP通用设计的描述、实现和评估

Description, Implementation, and Evaluation of a Generic Design for Tabled CLP

具有制表和约束的逻辑编程（TCLP，表格约束逻辑编程）已被证明比LP，CLP或LP +制表更具表达力，在某些情况下更有效。以前的设计TCLP系统没有充分利用蕴涵，以确定呼叫/应答包容，并没有提供一个简单的和良好的记录接口，以促进现有的制表系统中的约束求解器的集成。我们研究的作用，投影和蕴涵在终止，健全和完整的TCLP系统，并提出了设计和实验评估的Mod TCLP，一个框架，简化了额外的约束求解器的集成。Mod TCLP将约束求解器视为制表系统的客户端，这是通用的w.r.t.解决方案，只需要一个明确的接口，从后者。我们通过整合四个约束求解器来验证我们的设计：以前存在的用于差分约束的约束求解器，用C编写; Holzbaur的CLP（Q）和CLP（R）的标准版本，用Prolog编写;以及有限格上的方程的新约束求解器。我们使用上述约束求解器在几个基准测试中评估我们的框架的性能。Mod TCLP是在Ciao Prolog中开发的，Ciao Prolog是一个健壮、成熟的下一代Prolog系统。逻辑程序设计理论与实践（TPLP）

2018-09-15cs.LOcs.PL

Eclipse中一个语义感知的Prolog编辑环境

A Semantics-Aware Editing Environment for Prolog in Eclipse

在本文中，我们提出了一个基于BE4的Eclipse的Prolog插件，并提供了许多功能，如语义感知的语法突出显示，大纲视图，错误标记，内容辅助，悬停信息，文档生成，和快速修复。该插件使用Java解析器进行完整的Prolog，并集成了Prolog引擎，并且可以通过进一步的语义分析进行扩展，例如，基于抽象的解释。

2009-03-12cs.HCcs.PLcs.SE

更多相关论文收起更多论文

在动作规则中实现单域约束条件

Programming Finite-Domain Constraint Propagators in Action Rules

在本文中，我们提出了一种新的语言，称为AR（{ \it Action Rules}），并描述了各种传播有限域的约束可以在其中实现。一个动作规则指定一个模式的代理，代理可以执行的动作，和事件模式的事件，可以激活代理。AR将逻辑编程的面向目标的执行模型与事件驱动的执行模型相结合。这种混合执行模型有利于编程约束传播。约束的传播子是一个代理，它维护约束的一致性，并由约束中的域变量的更新激活。AR具有比目前有限域约束系统中广泛使用的语言{ \it indexicals}更强的描述能力，并且不仅可以灵活地实现区间一致性算法，还可以实现弧一致性算法。作为例子，我们提出了一个弱弧一致性传播的{ \tt all\_distinct}约束和混合算法的n元线性等式约束。B-Prolog已经扩展以适应动作规则。基准测试表明，B-Prolog作为一个CLP（FD）系统显着优于其他CLP（FD）系统。

2005-06-02cs.PL

基于转换的CLP的限定邻近实现

A Transformation-based Implementation for CLP with Qualification and Proximity

在过去的几十年里，逻辑编程中的不确定性得到了广泛的研究，导致了经典LP范式的多种扩展。然而，很少有这些被设计为扩展的完善和强大的CLP计划约束逻辑编程。在以前的工作中，我们提出了SQCLP（{ \em接近为基础的合格的约束逻辑编程}）计划作为一个相当有表现力的扩展CLP与支持资格值和接近关系的概括的不确定性值和相似性关系，分别。在本文中，我们提供了一个转换技术转换成语义等价的CLP程序和目标，SQCLP计划的一些特别有用的实例和一个实际的基于Prolog的实现SQCLP程序和目标。我们还说明，通过显示一些简单的-和工作-的例子，原型如何可以有效地用作解决问题的工具，资格值和邻近关系发挥了关键作用。SQCLP的预期用途包括灵活的信息检索应用程序。

2012-01-25cs.LOcs.PL

基于转换的CLP的限定邻近实现

A Transformation-based Implementation for CLP with Qualification and Proximity

在过去的几十年里，逻辑编程中的不确定性得到了广泛的研究，导致了经典LP范式的多种扩展。然而，很少有这些被设计为扩展的完善和强大的CLP计划约束逻辑编程。在以前的工作中，我们已经提出了SQCLP（基于邻近的合格约束逻辑编程）计划作为CLP的一个非常有表现力的扩展，支持资格值和邻近关系作为概括的不确定性值和相似性关系，分别。在本文中，我们提供了一个转换技术转换成语义等价的CLP程序和目标，SQCLP计划的一些特别有用的实例和一个实际的基于Prolog的实现SQCLP程序和目标。我们还说明，通过显示一些简单的和工作的例子，原型可以有效地用作解决问题的工具，资格值和邻近关系发挥了关键作用。SQCLP的预期用途包括灵活的信息检索应用程序。

2010-09-10cs.LOcs.PL

用不完全模糊信息扩充Prolog

Extending Prolog with Incomplete Fuzzy Information

不完全信息在实际环境中的许多方面都是一个问题。此外，在许多场景中，知识并没有以清晰的方式表示。发现模糊概念或具有一定程度不确定性的问题是很常见的。处理不确定性和不确定性的实际系统并不多，我们能找到的少数例子被少数人使用。扩展一个流行的系统（许多程序员正在使用），使其具有结合清晰和模糊知识表示的能力，似乎是一个有趣的问题。我们的第一个工作（模糊Prolog）是一种语言，模型$\mathcal{B}([0,1])$值模糊逻辑。在Borel代数$\mathcal{B}([0,1])$中，真值用实数区间的并集表示。这项工作是更普遍的真值表示和传播比以前的作品。使用实数约束逻辑编程（CLP（${\cal R}$））实现了该语言的解释器，并可在Ciao系统中使用。现在，我们通过使用默认知识来表示逻辑程序设计中的不完全信息，从而增强了我们以前的方法。我们还提供了这个新框架的实施。这个新版本的模糊Prolog处理不完整的信息，它有一个完整的语义（前一个是不完整的Prolog），而且它能够结合清晰和模糊逻辑在Prolog程序。因此，新的模糊Prolog更能表达真实世界。Fuzzy Prolog继承了Prolog的不完备性。将默认推理的模糊Prolog消除了这个问题，需要更丰富的语义，我们讨论。

2005-08-22cs.PLcs.SE

自主智能体协调：动作语言满足CLP（FD）和Linda

Autonomous Agents Coordination: Action Languages meet CLP(FD) and Linda

Università di Udine（乌迪内大学）；Università di Perugia（佩鲁贾大学）；New Mexico State University（新墨西哥州立大学）

本文提出了一种知识表示形式主义，在一个高层次的行动描述语言的形式多智能体系统，其中自主智能体的原因和行动在一个共享的环境。智能体自主追求个人目标，但能够通过共享知识库进行交互。在他们的互动，通过共享部分的世界，代理处理问题的同步和并发性;行动语言允许描述的战略，以确保一致的全球执行代理的自主派生计划。一个分布式规划问题的形式化，通过提供声明性规范的问题的一部分，有关一个单一的代理。这些规范中的每一个都可以由独立的基于CLP的规划器执行。代理之间的协调利用了Linda基础设施。在SICStus Prolog中开发的原型实现中验证了该建议。出现在逻辑编程理论与实践（TPLP）中。

2011-10-04cs.AIcs.LOcs.PL

将区间约束集成到逻辑编程中

Integrating Interval Constraints into Logic Programming

University of Victoria（维多利亚大学）

本文提出CLP/NCSP新子方案，通过将区间约束作为约束满足问题集成到逻辑编程中，利用浮点硬件高效求解或证明数千个CSP的不可解性。

2010-02-07cs.LOcs.NAcs.PL