Goal-independent Semantics for Path Dependent Analysis of Prolog Programs | IEEE Conference Publication | IEEE Xplore