Please use this identifier to cite or link to this item: http://rportal.lib.ntnu.edu.tw:80/handle/77345300/34695
Title: On Transformation of Logic Specifications into Procedural Programs
Authors: 國立臺灣師範大學資訊教育研究所
Lin, Janet Mei-Chuen
Juang, Jie-Yong
Yau, Stephen S
Issue Date: 23-Oct-1989
Publisher: IEEE
Abstract: A method for transforming a source program expressed as a set of Horn clauses into a target program in an Algol-like procedural language is presented. Compared with deterministic execution of a conventional program, the top-down procedural interpretation of a Horn clause program is inherently nondeterministic. This transformation method is aimed at removing certain types of nondeterministic in a Horn clause program via a variable-dependence analysis and a procedure formation scheme. It is assumed that the input/output mode information for each predicate in the Horn clause is known in advance and that each predicate is used unidirectionally, i.e. each argument in the argument list of a predicate is used either as an input or an output, but not both. Therefore, the Horn clauses treated by this method represent only a subclass of the general Horn logic clauses. During the transformation process, the method is also capable of discovering inconsistent or missing information in the source program.
URI: http://rportal.lib.ntnu.edu.tw/handle/77345300/34695
ISBN: 081-861-984-8
Other Identifiers: ntnulib_tp_A0906_02_001
Appears in Collections:教師著作

Files in This Item:
There are no files associated with this item.


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.