Why do we call a disjunction of literals of which none is positive a goal clause?

Viewed 1044

I think I know the meaning of goal clauses and horn clauses, but I'm quite confused about why people name a disjunction of literals of which none is positive a goal clause?

What's the goal here?

2 Answers
Related