Qute: A Prolog/Lisp Type Language for Logic Programming

Masahiko Sato, Takafumi Sakurai. Qute: A Prolog/Lisp Type Language for Logic Programming. In IJCAI. pages 507-513, 1983.

Abstract

Abstract is missing.