Thanks to +Joni Freeman for taking my #Scala type-level selection sort (http://www.chuusai.com/2012/01/27/type-level-sorting-in-shapeless/) and porting it to Prolog!
Shared publicly