Logic Programming with Equations

  title={Logic Programming with Equations},
  author={M. H. van Emden and Keitaro Yukawa},
  journal={J. Log. Program.},
D This paper is a contribution to the amalgamation of logic programming (as embodied in PROLOG) and functional programming (as embodied in languages like SASL, KRC, HOPE, or in dialects of LISP like LISPKIT LISP or SCHEME). We investigate how equational rewriting, which we assume is an adequate model for functional programming, can be performed within the context of logic programming. The equational program plus the standard equality axioms (reflexivity, symmetry, transitivity, and… CONTINUE READING
Highly Cited
This paper has 76 citations. REVIEW CITATIONS


Publications citing this paper.

76 Citations

Citations per Year
Semantic Scholar estimates that this publication has 76 citations based on the available data.

See our FAQ for additional information.