## Symposium on Logic Programming |

### What people are saying - Write a review

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

### Contents

Opening Session | 1 |

Logic Equations and Functions | 17 |

A Theory of Modules Based on SecondOrder Logic | 24 |

Copyright | |

41 other sections not shown

### Other editions - View all

### Common terms and phrases

abstract interpretation abstract substitution algorithm AND-parallel annotated answer applied arguments atom Backtrack Literal binding branch call pattern choice point comp(P compiler Computer Science conservative extension construction contains coroutine corresponding current solutions data structures database deduction defined definition denote efficient element equations evaluation example execution fails failure finite fixpoint functional programming functor goal grams Herbrand Herbrand base Herbrand universe Horn clause implementation inference input instantiated layered stream least fixpoint Logic Programming machine method module negation as failure negation by constraints node operation operational semantics optimization OR-parallel output overhead parallel possible postcondition predicate symbol problem Proc procedure processor programming language Prolog programs proof q-clause query recursive redo relation reset restricted rule search-tree selection semantics sequence sequential side-effect sloppy SPELP stack strategy subgoals term termination theorem tion transformation tree tuples unification unifier variable witness set