Logic Programming: Proceedings of the Fifth International Conference and Symposium, Volume 2Robert Kowalski, Kenneth A. Bowen 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. |
Contents
Verónica Dahl Representing Linguistic Knowledge through Logic | 848 |
Inference Engines in the Epsilon Logic Programming | 849 |
Program Committee XV | 853 |
Copyright | |
22 other sections not shown
Other editions - View all
Common terms and phrases
3-valued algorithm AND-parallel answer substitution argument atoms backtracking bi-implicative binding called canonical Comp(P compiler complete lattice computation induction Computer Science consider constraint corresponding declarative semantics defined definite clauses denote Emden's equivalence-preserving equivalent example finite fixed point formula function given goal G guard Herbrand model Herbrand universe higher-order unification Horn clause implementation induction hypothesis induction scheme infinite derivation preserving input instantiated interpretation J-models Lassez least fixed point Lemma literal Logic Pro minimal model n-tuples negation Negation as Failure node notion operational semantics operator Ordinals partial evaluation pointer predicate symbol Proc procedure processor program transformers programming language Prolog proof query recursive relation result rule S₁ semantics of logic specific version stratified programs structure subgoal subset supported model T₁ tactic Theorem theory three valued tion tree true truth value tuple unify variables vector weak induction X-terms