Logic Program Synthesis and Transformation: Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993Yves Deville |
Contents
Toward the Synthesis of Constraint Propagation Algorithms | 1 |
K K Lau and M Ornaghi 10 | 31 |
Inductive Synthesis of Logic Programs and Inductive Logic | 45 |
Copyright | |
11 other sections not shown
Other editions - View all
Logic Program Synthesis and Transformation: Proceedings of LOPSTR 93 ... Yves Deville Limited preview - 2012 |
Logic Program Synthesis and Transformation: Proceedings of LOPSTR 93 ... Yves Deville No preview available - 1994 |
Logic Program Synthesis and Transformation: Proceedings of LOPSTR 93 ... Yves Deville No preview available - 2012 |
Common terms and phrases
abstract answer abstract interpretation algorithm analysis ancestor check and-parallelism Andorra Andorra-I answer substitution argument Artificial Intelligence atom bagof C₁ C₂ combined Conference on Logic consider constraint constraint propagation Cont contrapositives correct defined definite logic program denoted EOLD resolution equations equivalent Eureka example execution failure axioms finite flattree formula function Functional Programming given Gmix goal replacement Gödel ground representation Horn clauses implementation induction Inductive Logic Programming initial goal input instantiated lemma application list(Ys literal logic description logic pro Logic Program Synthesis memoized merge(X,Y,Z Meta-Editor meta-programs method mixed abstract nrev object theory optimizations partial evaluation performed predicate symbol prefix problem procedure program synthesis program transformation Prolog programs prove reachability graph reduction step relation renaming set of clauses simplification skeleton solutions specialisation specification framework subgoals synthesis and transformation term theorem prover tion unfold/fold transformations unfolding unification variables well-founded set Whelk Workshop