DFS Tools [0] is a Prolog implementation of the Distributional Formal Semantics framework [1].

[0] https://github.com/hbrouwer/dfs-tools [1] https://www.sciencedirect.com/science/article/pii/S089054012...