Graph properties for normal logic programs