Some improvements to an abstract syntax for analysis and optimization of full (parallel) prolog