{"type":"ScholarlyArticle","title":"An Interpreter For The Programming Languages Predicate Logic","authors":[{"name":"Sten-Åke Tärnlund","slug":"sten-ake-tarnlund","given":"Sten-Åke","family":"Tärnlund","affiliation":""}],"abstract":"We describe an interpreter for the programming language predicate logic. Some topics are: syntax and proof procedure, procedure evocation, function transformation, goal variation and interactive computational control.","doi":null,"url":"https://ijcai.org/proceedings/1975/94","pdf":"https://ijcai.org/proceedings/1975/0094.pdf","markdown":"https://ijcai.org/proceedings/1975/94.md","bibtex":"https://ijcai.org/proceedings/1975/bibtex/94","volume":{"slug":"1975","title":"Proceedings of the Fourth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1975","url":"https://ijcai.org/proceedings/1975/","year":1975,"location":"Tbilisi, Georgia, USSR","dates":"","editors":"Patrick Winston and Carl Hewitt","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"A.I. Software","track":"A.I. Software","number":94,"pages":{"first":601,"last":607},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}