{"type":"ScholarlyArticle","title":"A Language for Implementing Arbitrary Logics","authors":[{"name":"Mark Tarver","slug":"mark-tarver","given":"Mark","family":"Tarver","affiliation":""}],"abstract":"SEQUEL is a new-generation functional programming language, which allows the specification of types in a notation based on the sequent calculus. The sequent calculus notation suffices for the construction of types for type checking and for the specification of arbitrary logics. Compilation techniques derived from both functional and logic programming are used to derive high-performance ATPs from these specifications.","doi":null,"url":"https://ijcai.org/proceedings/1993/115","pdf":"https://ijcai.org/proceedings/1993/0115.pdf","markdown":"https://ijcai.org/proceedings/1993/115.md","bibtex":"https://ijcai.org/proceedings/1993/bibtex/115","volume":{"slug":"1993","title":"Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1993","url":"https://ijcai.org/proceedings/1993/","year":1993,"location":"Chambéry, France","dates":"","editors":"Ruzena Bajcsy","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Logic Programming","track":"Logic Programming","number":115,"pages":{"first":839,"last":843},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}