Attempts on slicing horn clause problems