An Duong Tuan Anh creator Phan, Minh Dung Chairperson Kanchana Kanchanasut Examination Committee Huynh, Ngoc Phien Examination Committee Japanese Government Examination committee text th Bangkok Asian Institute of Technology 1989 monographic eng

print

73 p. + 1 online resource The knowledge about functionality of predicates in a Prolog program is very crucial to improve performance of Prolog system. Using abstract interpretation as a general and systematic framework for a sound compile-time program analysis, a better understating and a more elegant method for functionality detection has been reached. This thesis shows that a particular form of abstract interpretation, developed by BURN et al. (1986) can be used for this purpose. Furthermore, it points out that we can integrate mode and functionality in one pass of dataflow analysis. This integration makes it easier to embed mode and functionality analysis into an optimizing Prolog compiler. A system to infer mode and functionality of all the predicates in a given program has been implemented and the implementation shows that the method suggested is precise and efficient. Besides, in order to deal with total functionality, the thesis suggests an approach to detect termination of an important class of recursive predicates: the predicates having the 2recursion on structure3 property. A thesis submitted in partial fulfillment of the requirements for the degree of Master of Engineering Thesis (M.Eng.) - Asian Institute of Technology, 1989 Prolog (Computer program language) Asian Institute of Technology. http://203.159.5.9/ait-thesis/detail.php?q=B17660 http://203.159.5.9/ait-thesis/detail.php?q=B17660 280898 20260817162829.0