code: def fol_fc_ask(KB, alpha):
      
      while True:
          new = {}
          for r in KB.clauses:
              ps, q = parse_definite_clause(standardize_variables(r))
              raise NotImplementedError
docs: Inefficient forward chaining for first-order logic. [Fig. 9.3]
      KB is a FolKB and alpha must be an atomic sentence.