Stratified logic program