'Replace every binding
:param bindings: A list of tuples mapping Variable Expressions to the
Expressions to which they are bound
:return: ``Clause``'

def substitute_bindings(self, bindings):

    return Clause([atom.substitute_bindings(bindings) for atom in self])
