Abstract
The contribution of this research is to solve two problems simultaneously. One problem is to prescribe a semantics for the cut that does not introduce unsoundness into the declarative semantics of PROLOG programs. The other problem is to provide a general methodology for eliminating wasted computation time from PROLOG programs. The prescriptive approach or active approach to formal language design is employed. Prescriptive specifications are used as guidelines for modifying six formal semantic models (3 denotational models and 3 operational models). The formal semantic models used are (1) the denotational and operational semantics (of PROLOG) by Jones and Mycroft [13]; (2) the denotational and operational semantics (of PROLOG) by Debray and Mishra [8]; and (3) the denotational and operational semantics (of PROLOG) by Arbab and Berry [2]. These models are used as a basis for showing how the “procedural semantics” of PROLOG programs can be made to conform more closely to the declarative semantics of PROLOG and at the same time showing how the cut can be used to maximum advantage in making PROLOG programs more efficient.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
