Logic programming

Logic programming is a paradigm which consists of a set of constraints or rules. It checks to satisfy these constraints via search.

Examples include Prolog.