Thank you so much for posting this, exactly what I needed.

more links from the author Henning Christiansen: https://duckduckgo.com/?q=Henning+Christiansen+filetype%3Apd...

and full publication TeachLP 2004: http://www.ep.liu.se/ecp/012/ecp04012.pdf

It's quite sad that Prolog is not used for CS, look how simple it is to implement these sorting algorithms. http://kti.ms.mff.cuni.cz/~bartak/prolog/sorting.html Most students get lost in the language details instead of understanding the algorithm.

See also slides from this talk (for a TL;DR):

https://www.ida.liu.se/~ulfni53/teachLP2004/misc/talk4.pdf