Test rewriting using prolog engine