This category lists programming languages that support the logical programming paradigm.