@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 adventure; I started in 1980 when my father bought a computer for Christmas. Learning Basic, I fac...