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?
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?