2 Replies Latest reply on Nov 24, 2012 6:54 AM by EJP

    help don't understand pseudocode

      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