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

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