_neural_ | 5 years ago | on: Ask HN: Production Prolog in 2020?
To the degree that it counts as 'production' Prolog, DFS-Tools -- a toolkit for Distributional Formal Semantics -- is actively used in a number of ongoing scientific projects:
https://github.com/hbrouwer/dfs-tools