QUTE: A Functional Language Based on Unification.

Masahiko Sato Takafumi Sakurai

Published in: FGCS (1984)

Keyphrases

programming language
functional language
functional programming
object oriented
general purpose
high level
logic programming
software engineering
theorem proving
object oriented programming
data structure
knowledge representation
artificial intelligence