Fabric
发表于 2025-3-26 21:18:55
,Partial evaluation of the “real thing”,cts and the operational predicate if-then-else. We outline a denotational semantics for this subset of Prolog and show how partial deduction can be extended to specialise programs of this kind. We point out some of the problems not occurring in partial deduction and show how they can be solved in ou
ACE-inhibitor
发表于 2025-3-27 04:14:04
Schema-based top-down design of logic programs using abstract data types,ain components to this approach: top-down design, program schemata and ADTs, all of which are already well established notions. Our aim is to combine these ideas in a framework, amenable to support by design tools and allowing the use of existing logic program transformation techniques to optimise t
肮脏
发表于 2025-3-27 08:28:03
Generalizing extended execution for normal programs,y means of replacement, simplification and rewriting. This work can be seen as a generalization of . which is in turn an extension of the prolog interpreter. We show the soundness of our generalization and discuss its completeness. Two extensive examples are given. We conclude on the relevance
Abbreviate
发表于 2025-3-27 10:20:42
http://reply.papertrans.cn/59/5879/587885/587885_34.png
Hla461
发表于 2025-3-27 17:39:23
Avoiding non-termination when learning logic programs: A case study with FOIL and FOCL,e their search space. However, they seldom take into account the fact that the lattice defined by Plotkin is a set of equivalence classes rather than simple clauses. This may lead to non-terminating learning processes, since the search gets stuck within an equivalence class, which contains an infini
noxious
发表于 2025-3-27 17:46:09
,Propagation of inter-argument dependencies in “Tuple-distributive” type inference systems,s, dependencies specified by head-only shared variables cannot be handled, and the inferred types are often very inaccurate. In this paper, we define an unfolding process which propagates such inter-argument dependencies: each call to a predicate that contains head-only shared variables is replaced
Narrative
发表于 2025-3-28 00:28:29
http://reply.papertrans.cn/59/5879/587885/587885_37.png
强所
发表于 2025-3-28 02:47:43
http://reply.papertrans.cn/59/5879/587885/587885_38.png
Oratory
发表于 2025-3-28 06:48:52
A model of costs and benefits of meta-level computation,ns. However, the question arises to what extent the cost of meta-computation offsetts the gains made by object-level savings. In this paper we discuss a set of equations that model this trade-off between object-savings and meta-costs. The model shows that there are a number of important limitations
In-Situ
发表于 2025-3-28 12:59:24
Logic programs with tests,d Stable Model Semantics are extended to give meaning to programs with ...We consider three possible applications of such programs. It is shown how to define a particular semantics in terms of another one with the help of an appropriate transformation of normal programs into programs with tests. Our