:- true pred qsort(A,B)
   : ( term(A), term(B) )
   => ( list(num,A), list(^(x),B) ).
