Program optimization with logic program transformation

摘要: We will introduce a software development method to develop an efficient program for stream data with logic transformation technique. The specification is represented the graph representation which transformed declarative Prolog predicates directly. In specification, input/output are abstracted list structure and problem specified relations between input output list. Since regarded as not only but also procedural program, we can utilize description program. our method, by Fold/Unfold this paper, apply lexical analysis of compiler