Dataflow analysis of Prolog programs
Varun Joshi, P.F. Unwalla · 2003
Dataflow analysis, used by optimizing compilers, can be applied in the static analysis of Prolog programs. A general flow analysis algorithm is presented which can be used to derive predicatewise information about the input program. This algorithm has been specifically applied to solve the mode inference problem, but can also be used for other applications such as parallel execution, intelligent backtracking and garbage collection.>