If you go with Clojure, you could cover learning logic programming using the core.logic (https://github.com/clojure/core.logic https://github.com/clojure/core.l

If you go with Clojure, you could cover learning logic programming using the core.logic (https://github.com/clojure/core.logic https://github.com/clojure/core.logic) library instead of Prolog.