Can someone help me translate this psuedo-code to python

function backward-chaining (KB, rules, goal): if goal is in KB return True else: for each rule in rules: if goal is consequent of rule: proven = 0 for each literal in antecedent of rule: if backward-chaining (KB, rules, literal): proven += 1 if proven length(antecedent) return True return false