Logic programming

Also known as Rule-Based programming

This programming paradigm is largely based on formal logic. Any program written in a logic programming language is a set of sentences in logical form, expressing facts and rules about some problem domain.

Mainly Prolog, ASP and Datalog