[verdverm]

https://cuelang.org uses NLP techniques from the 90's, specifically

> Graph unification of typed feature structures, CUE’s theoretical foundation

https://cuelang.org/docs/concepts/logic/

Propagator Networks are interesting too