ILP.
Many systems allow a human to manually specify conditions for when a rule cannot be in a hypothesis [1]}, [2]}, [3]}.
Most systems only reason about the conditions after constructing a hypothesis, such as Aleph's rule pruning mechanism.
By contrast, we automatically discover constraints and remove rules that violate them from the hypothesis space before searching for a hypothesis.
