A REVIEW OF BIG DATA

Provided a challenge in addition to a list of premises, problem-resolving cuts down to searching for any evidence tree whose root node is labelled by an answer of the situation and whose leaf nodes are labelled by premises or axioms. In the situation of Horn clauses, dilemma-solving search is often performed by reasoning forwards from the premises