## Logic Program Synthesis and Transformation: Proceedings of LOPSTR ..., |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### 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

### Common terms and phrases

abstract answer abstract interpretation algorithm analysis ancestor check and-parallelism Andorra Andorra-I answer substitution argument Artificial Intelligence atom automatically bagof combined Conference on Logic consider constraint propagation Cont contrapositives correct deductive synthesis defined definite logic program denoted derivation editors EOLD EOLDc equations equivalent Eureka example execution failure axioms finite formula Functional Programming given goal replacement Godel ground representation Horn clauses implementation induction Inductive Logic Programming initial goal input instantiated Katholieke Universiteit Leuven lemma application list(Ys literal logic description Logic Program Synthesis memoized merge(X,Y,Z Meta-Editor meta-programs method mixed abstract negative ancestor object theory optimizations partial evaluation performed predicate symbol problem program synthesis program transformation Prolog programs prove reachability graph reduction step refutation relation renaming set of clauses simplification skeleton solutions specialisation specification framework subgoals synthesis and transformation techniques term theorem prover tion unfolding unification University of Edinburgh variables Whelk Workshop