Algebraic and Logic Programming: International Workshop, Gaussig, GDR, November 14-18, 1988. ProceedingsJan Grabowski, Pierre Lescanne, Wolfgang Wechler This volume contains the proceedings of the First International Workshop on Algebraic and Logic Programming held in Gaussig (German Democratic Republic) from November 14 to 18, 1988. The workshop was devoted to Algebraic Programming, in the sense of programming by algebraic specifications and rewrite rule systems, and Logic Programming, in the sense of Horn clause specifications and resolution systems. This includes combined algebraic/logic programming systems, mutual relations and mutual implementation of programming paradigms, completeness and efficiency considerations in both fields, as well as related topics. |
Other editions - View all
Algebraic and Logic Programming: International Workshop, Gaussig, GDR ... Jan Grabowski,Pierre Lescanne No preview available - 1989 |
Common terms and phrases
abstract data types algebraic module algebraic specifications algorithm apply approach arity atom axioms called Compile complete Computer Science conditional equations confluent constructor contains correctness critical pairs data term defined Definition denotational semantics denote E-unifier equality equational theories equivalent evaluation example exists f-Horn clause rules finite set formula function symbols functional programming functor given Goguen ground terms hand side hypergraph inductive inference rules initial algebra instantiated integers interpretation jungle least fixpoint left-hand side Lemma linear LNCS Logic Programming many-sorted Meseguer morphism narrowing derivation nodes non-empty-stack normal forms notion occurring operational semantics order-sorted polymorphic predicate problem Proc programming language Prolog proof Proposition prove quasi-reducibility reduction relation result rewrite rules signals signature Springer subsorts subterm subtype succ syntactic t₁ term rewriting systems terminating Theorem tree TRSS true tuple type inference u₁ unification variables well-typed