Qute: A Prolog/Lisp Type Language for Logic Programming.

Masahiko Sato, Takafumi Sakurai

Browse the full IJCAI paper archive.