Graph representations of logic programs: properties and comparison