Evaluating logical queries

      try {
  
          tk = hush->kit("bp");       // A kit for BinProlog
          tk->eval("consult(facts)");
          }
      catch(...) {
          cout << "An exception ... " << endl;
      }
  
      while (1) {
      	char* text = readtext();
          tk->eval(text);
          hush::term* t = tk->result();
          char* q = 0;
          while ( (q = t->next()) )
                  cout << "Result: " << q << endl;
  	}