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.