Nguyen Viet Hai creator Phan, Minh Dung Chairperson Huynh, Ngoc Phien Examination Committee Sadananda, Ramakoti Examination Committee The Australian Government Scholarship Donor text th Bangkok Asian Institute of Technology 1990 monographic eng

print

46 p. In this study we present a bottom-up procedure to compute the well-founded semantics of a datalog program (function free logic program) on a language with infinitely many constants. The distinguished features of our approach are: Our method can be applied to any program: The class of programs for which our method can be applied is neither restricted to the class of stratified nor locally stratified programs as in some other methods. There is also no restriction about the existence of a complete well-founded model and the method can be used to compute the well founded partial model. The underlying language is permitted to have infinitely many constants . A thesis submitted in partial fulfillment of the requirements for the degree of Master of Science, School of Engineering and Technology Thesis (M.Sc.) - Asian Institute of Technology, 1990 Programming languages (Electronic computers) Semantics Asian Institute of Technology. http://203.159.5.9/ait-thesis/detail.php?q=B18301 http://203.159.5.9/ait-thesis/detail.php?q=B18301 280898 20260818084704.0