| ?- bubblesort([1,8,7,9,4],X).
      1    1  Call: bubblesort([1,8,7,9,4],_289) ?
      2    2  Call: bubblesort([8,7,9,4],_358) ?
      3    3  Call: bubblesort([7,9,4],_382) ?
      4    4  Call: bubblesort([9,4],_406) ?
      5    5  Call: bubblesort([4],_430) ?
      5    5  Exit: bubblesort([4],[4]) ?
      6    5  Call: 9=<4 ?
      6    5  Fail: 9=<4 ?
      6    5  Call: 9>4 ?
      6    5  Exit: 9>4 ?
      7    5  Call: bubblesort([4,9],_486) ?
      8    6  Call: bubblesort([9],_510) ?
      8    6  Exit: bubblesort([9],[9]) ?
      9    6  Call: 4=<9 ?
      9    6  Exit: 4=<9 ?
      7    5  Exit: bubblesort([4,9],[4,9]) ?
      4    4  Exit: bubblesort([9,4],[4,9]) ?
     10    4  Call: 7=<4 ?
     10    4  Fail: 7=<4 ?
     10    4  Call: 7>4 ?
     10    4  Exit: 7>4 ?
     11    4  Call: bubblesort([4,7,9],_595) ?
     12    5  Call: bubblesort([7,9],_619) ?
     13    6  Call: bubblesort([9],_643) ?
     13    6  Exit: bubblesort([9],[9]) ?
     14    6  Call: 7=<9 ?
     14    6  Exit: 7=<9 ?
     12    5  Exit: bubblesort([7,9],[7,9]) ?
     15    5  Call: 4=<7 ?
     15    5  Exit: 4=<7 ?
     11    4  Exit: bubblesort([4,7,9],[4,7,9]) ?
      3    3  Exit: bubblesort([7,9,4],[4,7,9]) ?
     16    3  Call: 8=<4 ?
     16    3  Fail: 8=<4 ?
     16    3  Call: 8>4 ?
     16    3  Exit: 8>4 ?
     17    3  Call: bubblesort([4,8,7,9],_756) ?
     18    4  Call: bubblesort([8,7,9],_780) ?
     19    5  Call: bubblesort([7,9],_804) ?
     20    6  Call: bubblesort([9],_828) ?
     20    6  Exit: bubblesort([9],[9]) ?
     21    6  Call: 7=<9 ?
     21    6  Exit: 7=<9 ?
     19    5  Exit: bubblesort([7,9],[7,9]) ?
     22    5  Call: 8=<7 ?
     22    5  Fail: 8=<7 ?
     22    5  Call: 8>7 ?
     22    5  Exit: 8>7 ?
     23    5  Call: bubblesort([7,8,9],_912) ?
     24    6  Call: bubblesort([8,9],_936) ?
     25    7  Call: bubblesort([9],_960) ?
     25    7  Exit: bubblesort([9],[9]) ?
     26    7  Call: 8=<9 ?
     26    7  Exit: 8=<9 ?
     24    6  Exit: bubblesort([8,9],[8,9]) ?
     27    6  Call: 7=<8 ?
     27    6  Exit: 7=<8 ?
     23    5  Exit: bubblesort([7,8,9],[7,8,9]) ?
     18    4  Exit: bubblesort([8,7,9],[7,8,9]) ?
     28    4  Call: 4=<7 ?
     28    4  Exit: 4=<7 ?
     17    3  Exit: bubblesort([4,8,7,9],[4,7,8,9]) ?
      2    2  Exit: bubblesort([8,7,9,4],[4,7,8,9]) ?
     29    2  Call: 1=<4 ?
     29    2  Exit: 1=<4 ?
      1    1  Exit: bubblesort([1,8,7,9,4],[1,4,7,8,9]) ?

X = [1,4,7,8,9] ?

(4 ms) yes