Category:Logic programming languages

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