Logic programming

Definition of Logic programming:

• A programming strategy that uses logic circuits to control how facts and rules are expressed, rather than only mathematical functions. Often used in genetic and evolutionary programming, this approach generally tells a model what goal to accomplish, rather than how to accomplish it. Instead of a carefully structured control flow dictating when to execute and how to evaluate function calls or other instructions, the program’s logic rules are written as logical clauses (predicates).