Computer Science Fact
Automated Reasoning
Solving engines, such as used in Prolog, which produce steps to a result given a query on a fact and rule database.[Wikipedia]
Solving engines, such as used in Prolog, which produce steps to a result given a query on a fact and rule database.[Wikipedia]