## Logic programming: First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 : Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991 : proceedings |

### What people are saying - Write a review

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

### Contents

RealTime Memory Management for Prolog | 1 |

Part II OrParallelism | 27 |

Abductive Systems for Nonmonotonic Reasoning | 55 |

Copyright | |

13 other sections not shown

### Common terms and phrases

abstract domain abstract interpretation after(U algebra algorithm application argument atom axiom backtracking binary bounded quantifiers called compiler consider constant construction contains corresponding deduction rules Deductive Databases defined definition denote derivation equivalence example execution expression extended feature finite formal formula garbage collection given goal grammar graph h-system heap Herbrand models Horn clause implementation induction input integrity constraints introduced knowledge base label Lemma metaprograms modal logic natural deduction negation node notion obtained occurring OLDT tree operation operational semantics optimization or-parallel Partial Evaluation predicate problem Proc procedure processor programming language Prolog Prolog programs proof pseudolinks query recursive relation represented result rules of inference schema semantics semantics of logic sequent calculus sort stack static integrity constraints structure subgoals subset substitution syntax T.info Theorem theory trail transformation tuple identifier unification unifier update values variables