Abstract: Considering the execution path and cut operators of a Prolog program can improve the precision of program analysis. Known semantics for Prolog either makes use of limited amount of path information and hence leads to less precise analysis or is goal-depen

Key words: Program analysis, Prolog semantics, Goal-independence, Context information, Abstract interpretation