@Claudius maintains LispE and previously TAMGU at Naver, combining array and logic programming with Haskell features. (N.b. the wiki holds the documentation and articles.)
In this interview, we discuss Lisp and Prolog implementations, array languages, symbolic (GOFAI) and neuro-symbolic AI.
How did you discover programming, come to pursue a PhD etc.?
It's not exactly a recent…