2 Replies Latest reply: Nov 24, 2012 12:54 AM 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