阻止
发表于 2025-3-28 17:35:50
Conference proceedings 2014ented were carefully and reviewed and selected for inclusion in this book. They cover the following topics: logic programming, constraint problem solving, programmable logic solvers, functional programming and constraint programming.
neoplasm
发表于 2025-3-28 19:38:57
On a High-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming language Curry. It is demonstrated how the specific features of Curry can be used to obtain a high-level realisation that is close to the underlying theoretical concepts. The new Curry data type Real and its corresponding functions can easily be used in other function definitions.
诱惑
发表于 2025-3-29 02:53:13
http://reply.papertrans.cn/27/2644/264382/264382_43.png
Emmenagogue
发表于 2025-3-29 05:45:52
http://reply.papertrans.cn/27/2644/264382/264382_44.png
LEER
发表于 2025-3-29 09:43:25
A Datalog Engine for GPUs,ps data between memory in the host platform (a multicore) and memory in the GPU in order to reduce the number of memory transfers. To evaluate the performance of the engine, four Datalog queries were run on the engine and on a single CPU in the multicore host. One query runs up to 200 times faster on the (GPU) engine than on the CPU.
充满装饰
发表于 2025-3-29 12:16:02
http://reply.papertrans.cn/27/2644/264382/264382_46.png
性学院
发表于 2025-3-29 18:48:45
Some Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley,rching of complex object models. Previous papers on . have focused on the functional paradigm and data flow issues. Here, we illustrate its use under the logic paradigm. We discuss the expressiveness and evaluate the performance of . in terms of the well-known combinatorial search problem “send more money” and its generalizations.
hypertension
发表于 2025-3-29 23:34:32
In Bedrängnis: Journalismus in Österreichnteresting properties and relations of the graph structures, such as loops, and we consider both answer set and well-founded semantics. We also present two different approaches for the determination of assumptions in an extended dependency graph, an optimal but exponential and a sub-optimal but linear one.
Morbid
发表于 2025-3-30 01:22:14
0302-9743 lowing conferences: the 20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013), the 22nd International Workshop on Functional and (Constraint) Logic Programming (WFLP 2013) and the 27th Workshop on Logic Programming (WLP 2013), held in Kiel, Ger
系列
发表于 2025-3-30 06:49:27
http://reply.papertrans.cn/27/2644/264382/264382_50.png