检索结果-内蒙古大学图书馆

THEORY AND PRACTICE OF logic programming 2011年第2-3期11卷 203-233页

作者： Cabalar, Pedro Univ A Coruna Dept Comp Sci Corunna Spain

In this paper we propose an extension of Answer Set programming (ASP) to deal with (possibly partial) evaluable functions. To this aim, we start from the most general logical counterpart of ASP, Quantified Equilibrium logic (QEL), and propose a variant QEL(F)(=) where the set of functions is partitioned into Herbrand functions (or constructors) and evaluable functions (or operations). We show how this extension has a direct connection to Scott's logic of Existence, and introduce several useful derived operators, some of them directly borrowed from Scott's formalisation. Using this general framework for arbitrary theories, we proceed to focus on a syntactic subclass that corresponds to normal logic programs with evaluable functions and equality. We provide a translation of this class into function-free normal programs and consider a safety condition so that the resulting program is also safe, under the usual meaning in ASP. Finally, we also establish a formal comparison to Lin and Wang's approach (FASP) dealing with evaluable total functions.

关键词： answer set programming equilibrium logic partial functions functional logic programming

来源：评论

学校读者我要写书评

暂无评论

Default rules for Curry

引用

THEORY AND PRACTICE OF logic programming 2017年第2期17卷 121-147页

作者： Antoy, Sergio Hanus, Michael Portland State Univ Dept Comp Sci Portland OR 97207 USA CAU Kiel Inst Informat Kiel Germany

In functional logic programs, rules are applicable independently of textual order, i.e., any rule can potentially be used to evaluate an expression. This is similar to logic languages and contrary to functional languages, e.g., Haskell enforces a strict sequential interpretation of rules. However, in some situations it is convenient to express alternatives by means of compact default rules. Although default rules are often used in functional programs, the non-deterministic nature of functional logic programs does not allow to directly transfer this concept from functional to functional logic languages in a meaningful way. In this paper, we propose a new concept of default rules for Curry that supports a programming style similar to functional programming while preserving the core properties of functional logic programming, i.e., completeness, non-determinism, and logic-oriented use of functions. We discuss the basic concept and propose an implementation which exploits advanced features of functional logic languages.

关键词： functional logic programming semantics program transformation

来源：评论

学校读者我要写书评

暂无评论

Forward slicing of functional logic programs by partial evaluation

引用

THEORY AND PRACTICE OF logic programming 2007年第1-2期7卷 215-247页

作者： Silva, Josep Vidal, German Univ Politecn Valencia DSIC E-46022 Valencia Spain

Program slicing has been mainly studied in the context of imperative languages, where it has been applied to a wide variety of software engineering tasks, like program understanding, maintenance, debugging, testing, code reuse, etc. This work introduces the first forward slicing technique for declarative multi-paradigm programs which integrate features from functional and logic programming. Basically, given a program and a slicing criterion (a function call in our setting), the computed forward slice contains those parts of the original program which are reachable from the slicing criterion. Our approach to program slicing is based on an extension of (online) partial evaluation. Therefore, it provides a simple way to develop program slicing tools from existing partial evaluators and helps to clarify the relation between both methodologies. A slicing toot for the multi-paradigm language Curry, which demonstrates the usefulness of our approach, has been implemented in Curry itself.

关键词： forward slicing partial evaluation functional logic programming

来源：评论

学校读者我要写书评

暂无评论

functional answer set programming

Functional answer set programming

引用

24th International Conference on logic programming (ICLP)

作者： Cabalar, Pedro Univ A Coruna Dept Comp Sci Corunna Spain

关键词： answer set programming equilibrium logic partial functions functional logic programming

来源：评论

学校读者我要写书评

暂无评论

A New functional-logic Compiler for Curry: SPRITE 26th

A New Functional-Logic Compiler for Curry: SPRITE

引用

26th International Symposium on logic-Based Program Synthesis and Transformation (LOPSTR)

作者： Antoy, Sergio Jost, Andy Portland State Univ Dept Comp Sci Portland OR 97207 USA

ISBN: (纸本)9783319631394;9783319631387

We introduce a new native code compiler for Curry code-named Sprite. Sprite is based on the Fair Scheme, a compilation strategy that provides instructions for transforming declarative, non-deterministic programs of a certain class into imperative, deterministic code. We outline salient features of Sprite, discuss its implementation of Curry programs, and present benchmarking results. Sprite is the first-to-date operationally complete implementation of Curry. Preliminary results show that ensuring this property does not incur a significant penalty.

关键词： functional logic programming Compiler implementation Operational completeness

来源：评论

学校读者我要写书评

暂无评论

ECOTRUCK: An Agent System for Paper Recycling

ECOTRUCK: An Agent System for Paper Recycling

引用

12th INNS EANN-SIG International Conference (EANN 2011)/7th IFIP 12 5 International Conference (AIAI 2011)

作者： Bezirgiannis, Nikolaos Sakellariou, Ilias Univ Utrecht Dept Inf & Comp Sci POB 80-089 NL-3508 TB Utrecht Netherlands Univ Macedonia Dept Appl Informat Thessaloniki 54124 Greece

ISBN: (纸本)9783642239601;9783642239595

Recycling has been gaining ground, thanks to the recent progress made in the related technology. However, a limiting factor to its wide adoption, is the lack of modern tools for managing the collection of recyclable resources. In this paper, we present EcoTruck, a management system for the collection of recyclable paper products. EcoTruck is modelled as a multi-agent system and its implementation employs Erlang, a distribution-oriented declarative language. The system aims to automate communication and cooperation of parties involved in the collection process, as well as optimise vehicle routing. The latter have the effect of minimising vehicle travel distances and subsequently lowering transportation costs. By speeding up the overall recycling process, the system could increase the service throughput, eventually introducing recycling methods to a larger audience.

关键词： Agent Systems Contract-Net functional logic programming Erlang

来源：评论

学校读者我要写书评

暂无评论

Improving functional logic programs by difference-lists 6th

Improving functional logic programs by difference-lists

引用

6th Asian Computing Science Conference

作者： Albert, E Ferri, C Steiner, F Vidal, G Univ Politecn Valencia DSIC E-46022 Valencia Spain CAU Kiel Inst Informat D-24098 Kiel Germany

ISBN: (纸本)3540414282

Modern multi-paradigm declarative languages integrate features from functional, logic, and concurrent programming. Since programs in these languages make extensive use of fist-processing functions, we consider of much interest the development of list-processing optimization techniques. In this work, we consider the adaptation of the well-known difference-lists transformation from the logic programming paradigm to our integrated setting. Unfortunately, the use of difference-lists is impractical due to the absence of non-strict equality in lazy (call-by-name) languages. Despite all, we have developed a novel, stepwise transformation which achieves a similar effect over functional logic programs. We also show a simple and practical approach to incorporate the optimization into a real compiler. Finally, we have conducted a number of experiments which show the practicality of our proposal.

关键词： functional logic programming program transformation compiler optimization

来源：评论

学校读者我要写书评

暂无评论

Liberal Typing for functional logic Programs

Liberal Typing for Functional Logic Programs

引用

8th Asian Symposium on programming Languages and Systems

作者： Lopez-Fraguas, Francisco Martin-Martin, Enrique Rodriguez-Hortala, Juan Univ Complutense Madrid Dept Sistemas Informat & Computac E-28040 Madrid Spain

ISBN: (纸本)9783642171635

We propose a new type system for functional logic programming which is more liberal than the classical Damas-Milner usually adopted, but it is also restrictive enough to ensure type soundness. Starting from Damas-Milner typing of expressions we propose a new notion of well-typed program that adds support for type-indexed functions, existential types, opaque higher-order patterns and generic functions-as shown by an extensive collection of examples that illustrate the possibilities of our proposal. In the negative side, the types of functions must be declared, and therefore types are checked but not inferred. Another consequence is that parametricity is lost, although the impact of this flaw is limited as "free theorems" were already compromised in functional logic programming because of non-determinism.

关键词： Type systems functional logic programming generic functions type-indexed functions existential types higher-order patterns

来源：评论

学校读者我要写书评

暂无评论

Partial evaluation of multi-paradigm declarative languages

引用

AI COMMUNICATIONS 2001年第4期14卷 235-237页

作者： Albert, E Univ Politecn Valencia Dept Sistemas Informat & Computac E-46022 Valencia Spain

This paper abstracts the contents of a PhD dissertation entitled 'Partial evaluation of multi-paradigm declarative languages: foundations, control, algorithms and efficiency' which has been recently defended. Partial evaluation is an automatic technique for program optimization whose range of potential applications covers a wide spectrum of problem-specific optimizations. For instance, there are successful experiences in the field of artificial intelligence, like the optimization (by partial evaluation) on simulators for neural network training. The thesis presents novel methods and techniques for the partial evaluation of multi-paradigm declarative languages, which integrate features from functional and logic programming.

关键词： automatic programming program transformation partial evaluation functional logic programming

来源：评论

学校读者我要写书评

暂无评论

Towards Translating Embedded Curry to C 1

引用

Electronic Notes in Theoretical Computer Science 2003年第3期86卷 35-51页

作者： Michael Hanus Klaus Höppner Frank Huch Institut für Informatik CAU Kiel D-24098 Kiel Germany

This paper deals with a framework to program autonomous robots in the declarative multi-paradigm language Curry. Our goal is to apply a high-level declarative programming language for the programming of embedded systems. For this purpose, we use a specialization of Curry called Embedded Curry. We show the basic ideas of our framework and an implementation that translates Embedded Curry programs into C.

关键词： functional logic programming process-oriented programming embedded systems domain-specific languages

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：