{"type":"ScholarlyArticle","title":"Qute: A Prolog/Lisp Type Language for Logic Programming","authors":[{"name":"Masahiko Sato","slug":"masahiko-sato","given":"Masahiko","family":"Sato","affiliation":""},{"name":"Takafumi Sakurai","slug":"takafumi-sakurai","given":"Takafumi","family":"Sakurai","affiliation":""}],"abstract":"A new Prolog/Lisp type programming language called Qute is introduced. Qute computes (partial) recursive functions on the domain S of symbolic expressions in the sense of Sato[3], Sato and Hagiya[4]. Qute amalgamates Prolog and Lisp in a natural way . Any expression that is meaningful to Qute is either a Prolog expression or a Lisp expression and a Prolog (Lisp) expression is handled by the Prolog (Lisp, resp.) part of Qute . Moreover, the Prolog-part and the Lisp-part calls each other recursively. Compared with the traditional Lisp symbolic expressions, our symbolic expressions are mathematically much neater and yet constitute a richer domain. Qute is a theoretically well-founded language defined on this domain of symbolic expressions. Many interesting features of Qute are described in this paper. Qute has been implemented on v AX/UNIX and is used to develop a programming system for proving properties of our domain of symbolic expressions.","doi":null,"url":"https://ijcai.org/proceedings/1983/122","pdf":"https://ijcai.org/proceedings/1983/0122.pdf","markdown":"https://ijcai.org/proceedings/1983/122.md","bibtex":"https://ijcai.org/proceedings/1983/bibtex/122","volume":{"slug":"1983","title":"Proceedings of the Eighth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1983","url":"https://ijcai.org/proceedings/1983/","year":1983,"location":"Karlsruhe, West Germany","dates":"","editors":"Alan Bundy","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Logic Programming","track":"Logic Programming","number":122,"pages":{"first":507,"last":512},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}