## Logic Program Synthesis and Transformation: Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993 |

### 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 | 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 Ans(G answer substitution append argument Artificial Intelligence atom bagof combined Conference on Logic consider constraint propagation constraints Cont contrapositives correct defined definite logic program denoted derivation editors EOLD EOLDc equations equivalent Eureka example execution finite flattree formula function Functional Programming given 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 occurs check optimizations partial evaluation performed predicate symbol problem procedure program synthesis program transformation Prolog programs prove reachability graph reduction step relation renaming resolution set of clauses simplification skeleton solutions specialisation specification framework subgoals synthesis and transformation techniques term theorem prover tion unfold/fold transformations unfolding unification variables Whelk Workshop