Projection is the elimination of dead variables in constraint systems, preserving equivalence. In CLP systems as well as in Prolog, local variables may become inaccessible during computation. Their removal can be considered as a form of garbage collection, it bears however another potential. It can support the solver, and it can reduce search spaces. This book investigates when it is wise to apply projection and proves its usefulness in tackling two practical planning problems.
26th European Conference on Artificial Intelligence, September 30 – October 4, 2023, Kraków, Poland – Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023)
