Corpus ID: 47565465

QUTE: A Functional Language Based on Unification

@inproceedings{Sato1984QUTEAF,
  title={QUTE: A Functional Language Based on Unification},
  author={Masahiko Sato and Takafumi Sakurai},
  booktitle={Logic Programming: Functions, Relations, and Equations},
  year={1984}
}
  • Masahiko Sato, Takafumi Sakurai
  • Published in
    Logic Programming: Functions…
    1984
  • Computer Science
  • Topics from this paper.

    Citations

    Publications citing this paper.
    SHOWING 1-9 OF 9 CITATIONS

    Guarded Horn Clauses

    VIEW 4 EXCERPTS
    CITES BACKGROUND & METHODS
    HIGHLY INFLUENCED

    Launching the new era

    VIEW 1 EXCERPT
    CITES METHODS

    Logic Programming with Arrays

    Term rewriting systems and the Church-Rosser property

    VIEW 1 EXCERPT
    CITES BACKGROUND

    Ad-a216 644

    VIEW 1 EXCERPT
    CITES METHODS