Categories: Programming languages | Declarative programming languages | Logic programming
This category lists programming languages that support the logical programming paradigm.