logic-based programming
nounA way of telling a computer what to do by giving it rules and facts instead of step-by-step orders.
In logic-based programming, you write facts and rules, and the computer figures out the answers.
OTHER MEANINGS
2. A style of coding where programs are built from logical statements that the computer can reason with.
The class learned logic-based programming by writing simple rules about family relationships.
3. Using formal logic to represent knowledge so a machine can draw conclusions.
Logic-based programming lets a system deduce that a person is a grandparent from parent facts.
4. A programming approach centered on declaring what is true rather than how to compute it.
With logic-based programming, the programmer describes the problem and the engine finds the solution.