2 Replies Latest reply: Nov 23, 2012 10:54 PM by EJP RSS

    help don't understand pseudocode

    968533
      what is this asking me to do i don't know how to put this into code since it says until would this mean to put it in a while loop?
      select “h ← b1 ∧ . . . ∧ bm” in KB where bi ∈ C for all i, and h /∈ C
      C := C ∪ {h}
      until no more definite clauses can be selected