Paper Info
Title
Compiling Recursive Functional Prolog Programs with List Structure into Procedural Languages
Abstract
We describe methods for translating certain classes of recursive Prolog programs representing functions into ordinary, statement-oriented languages like Pascal or C. The techniques of deductive databases are applied to Prolog programs that are functional, recursive, have no side effects (such as printing values in a particular order) and whose defining rules are mutually exclusive.
Year
DOI
Venue
1991
10.1007/978-94-011-3488-0_10
Automated Reasoning: Essays in Honor of Woody Bledsoe
Keywords
Field
DocType
side effect
Procedural programming,Programming language,Deductive database,Computer science,Prolog,Mutually exclusive events,Recursion
Conference
Citations 
PageRank 
References 
0
0.34
6
Authors
2
Name
Order
Citations
PageRank
Young K. Nam100.68
Lawrence J. Henschen2478280.94