{"type":"ScholarlyArticle","title":"Prolog Control Rules","authors":[{"name":"Lee Naish","slug":"lee-naish","given":"Lee","family":"Naish","affiliation":""}],"abstract":"We present an overview of the many control constructs and heuristics used by PROLOG systems with extra control facilities. Two features of computations rules are used to evaluate and classify them. They are detecting failure quickly (where it is unavoidable) and avoiding failures . By examining current systems in this light, we reach conclusions concerning deficiencies in performance, and how they may be overcome. We propose an idealized computation rule which uses a hierarchy of goals and a breadth first component.","doi":null,"url":"https://ijcai.org/proceedings/1985/141","pdf":"https://ijcai.org/proceedings/1985/0141.pdf","markdown":"https://ijcai.org/proceedings/1985/141.md","bibtex":"https://ijcai.org/proceedings/1985/bibtex/141","volume":{"slug":"1985","title":"Proceedings of the Ninth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1985","url":"https://ijcai.org/proceedings/1985/","year":1985,"location":"Los Angeles, California, USA","dates":"","editors":"Aravind Joshi","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Logic Programming","track":"Logic Programming","number":141,"pages":{"first":720,"last":721},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}