Forward chaining
	n Idea: fire any rule whose premises are satisfied in the KB, n add its conclusion to the KB, until query is found