Definition
A programming paradigm based on formal logic, where programs are expressed as a set of logical statements (facts and rules) that are evaluated by a reasoning engine.
In short: A programming paradigm based on formal logic, where programs are expressed as a set of logical statements (facts and rules) that are evaluated by a reasoning engine.