Proving properties of logic programs: a progress report