Category:Logic programming languages
This
category
lists
programming languages
that support the
logic programming
paradigm.