Compiling linear recursive Prolog programs with list structure into procedural language

Young K. Nam*, Lawrence Joseph Henschen

*Corresponding author for this work

Research output: Contribution to journalConference articlepeer-review


The authors present an algorithm for transforming a linear recursive program in Prolog which contains the list data structure as a term of the predicate into an iterative program using a while loop in a procedural language like Pascal. This algorithm obtains the same result as Prolog without unification and backtracking. In this algorithm, the recursive programs are classified into two cases, the determined programs and the undetermined programs, according to the conditions of the variables in the program. The unification process is transformed into the set of assignment and conditional statements by analyzing the variables of the rules in the program. Backtracking is accomplished by a traversal of a tree whose nodes contain predicates instantiated.

Original languageEnglish (US)
Pages (from-to)391-398
Number of pages8
JournalProceedings - IEEE Computer Society's International Computer Software & Applications Conference
StatePublished - Dec 1 1990
EventProceedings of the 14th Annual International Computer Software and Applications Conference - COMPSAC 90 - Chicago, IL, USA
Duration: Oct 29 1990Nov 2 1990

ASJC Scopus subject areas

  • Software
  • Computer Science Applications

Fingerprint Dive into the research topics of 'Compiling linear recursive Prolog programs with list structure into procedural language'. Together they form a unique fingerprint.

Cite this