u starting from the facts, u using the rules we get some more internal statements (facts), u then other statements, u until we reach the goal.