If you want a challenge, learn Prolog using https://www.metalevel.at/prolog , with https://github.com/mthom/scryer-prolog as the Prolog implementation.