function path = BR_path(KB,x)
%

literals = BR_data2literals(x);
num_clauses = length(KB);
path = [];

for c = 1:num_clauses
    clause = -KB(c).clauses;
    clause = clause(1:end-1);
    s_dif = setdiff(clause,literals);
    if isempty(s_dif)
        path = c;
        return
    end
end
