## Logic Programming: The 5th International Conference & Symposium, Volume 2Two-volume set These two volumes collect papers presented at the first joint meeting of the two principal logic programming conferences, held in August of 1988. The more than fifty contributions cover all aspects of the field, including applications (particularly those that exploit the unique character of logic programming), the role of logic programming in artificial intelligence, deductive databases, relations to other computational paradigms, language issues, methodology, implementations on sequential and parallel architectures, and theory. Logic Programming is included in the Logic Programming series Research Reports and Notes, edited by Ehud Shapiro. |

### What people are saying - Write a review

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

### Contents

Program Committee | xv |

McCrosky and Antony Kusalik Improving FirstClass Array | 907 |

T Huynh and C Lassez A CLPfJl Options Trading Analysis | 944 |

Copyright | |

7 other sections not shown

### Other editions - View all

### Common terms and phrases

abstract machine algorithm AND-parallel architecture argument atoms backtracking binding cache categorial grammars compiler Computer Science Concurrent Prolog constraints corresponding database declarative semantics defined definition denote efficient equivalent example execution model fixed point formula function goal graph guard Herbrand model Herbrand universe Horn clauses implementation induction input instantiated interpreter least fixed point literal matching memory minimal model negation negation as failure node NU-Prolog occurs operational semantics operations OR-parallel overhead parallel execution Parlog partial evaluation perfect model semantics performance pointer predicate predicate completion predicate logic problem Proc procedure processor programming languages Prolog Prolog programs proof query recursive reference relation result rule scheme semantics of logic sequential solution specific version stack stratified programs structure subgoal subset symbol term Theorem theory three valued tion token transformation tree tuple unification unify vector Warren Abstract Machine