#19: prolog rules for slicing