stable model semantics for logic programs
