function [PKB] = gen_PitKB

KB = [];
PKB = ProbKB();

KB = BR_gen_Breezes(KB);

vars = BR_Wumpus_vars(KB);


i = length(KB);

for j = 1:i
    k = KB(j).clauses;
    k2 = convertCharsToStrings(k);
    nk2 = split(k2);
    
    PKB.tellClause(nk2, 1);
end
    



end
