Magic sets are a Datalog to Datalog rewriting technique to optimize query answering. The
rewritten program focuses on a portion of the stable model (s) of the input program which is …