0 alternative definitions
A logical reasoning approach that starts with known facts and applies rules iteratively to get new facts and consequences.
تسلسل أمامي