On transformation of logic specifications into procedural programs

Janet M. Lin, J. Y. Juang, Stephen S. Yau

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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 nondeterminism 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.

Original languageEnglish (US)
Title of host publicationIEEE Int Workshop Tools Artif Intell Archit Lang Algorithms
Editors Anon
PublisherPubl by IEEE
Pages274-281
Number of pages8
ISBN (Print)0818619848
StatePublished - Dec 1 1989
Externally publishedYes
EventIEEE International Workshop on Tools for Artificial Intelligence: Architectures, Languages and Algorithms - Fairfax, VA, USA
Duration: Oct 23 1989Oct 25 1989

Publication series

NameIEEE Int Workshop Tools Artif Intell Archit Lang Algorithms

Other

OtherIEEE International Workshop on Tools for Artificial Intelligence: Architectures, Languages and Algorithms
CityFairfax, VA, USA
Period10/23/8910/25/89

ASJC Scopus subject areas

  • Engineering(all)

Fingerprint Dive into the research topics of 'On transformation of logic specifications into procedural programs'. Together they form a unique fingerprint.

  • Cite this

    Lin, J. M., Juang, J. Y., & Yau, S. S. (1989). On transformation of logic specifications into procedural programs. In Anon (Ed.), IEEE Int Workshop Tools Artif Intell Archit Lang Algorithms (pp. 274-281). (IEEE Int Workshop Tools Artif Intell Archit Lang Algorithms). Publ by IEEE.