fork download 
  1. :- set_prolog_flag(verbose,normal).  % see
  2. :- prompt(_, '').                    %  stackoverflow.com/a/51926948
  3. :- use_module(library(readutil)).
  4.  
  5. % length_of_list - number_of_inferences:
  6. %   bubbl(SO):                'true' bubble sort:
  7. %  N       infs     n^            infs    n^
  8. %  10 -     111                         
  9. %  20 -     621       2.5
  10. %  30 -   2,429       3.4
  11. %  40 -   5,698       3.0         1,030
  12. % 120 - 165,296       3.0        11,742     2.2
  13. % 240 - 1,343,303     3.0        49,410     2.1
  14.  
  15. main:-
  16. 	process,
  17. 	halt.
  18.  
  19. process:-
  20. 	/* your code goes here */
  21. 	time( (L=[1,6,2,8,5,3,4,1,5,8,7,9,5,8,7,4,5,6,8,5,
  22. 	          1,6,2,8,5,3,4,1,5,8,7,9,5,8,7,4,5,6,8,5,
  23. 	          1,6,2,8,5,3,4,1,5,8,7,9,5,8,7,4,5,6,8,5,
  24. 	          1,6,2,8,5,3,4,1,5,8,7,9,5,8,7,4,5,6,8,5,
  25. 	          1,6,2,8,5,3,4,1,5,8,7,9,5,8,7,4,5,6,8,5,
  26. 	          1,6,2,8,5,3,4,1,5,8,7,9,5,8,7,4,5,6,8,5,
  27. 	          1,6,2,8,5,3,4,1,5,8,7,9,5,8,7,4,5,6,8,5,
  28. 	          1,6,2,8,5,3,4,1,5,8,7,9,5,8,7,4,5,6,8,5,
  29. 	          1,6,2,8,5,3,4,1,5,8,7,9,5,8,7,4,5,6,8,5,
  30. 	          1,6,2,8,5,3,4,1,5,8,7,9,5,8,7,4,5,6,8,5,
  31. 	          1,6,2,8,5,3,4,1,5,8,7,9,5,8,7,4,5,6,8,5,
  32. 	          1,6,2,8,5,3,4,1,5,8,7,9,5,8,7,4,5,6,8,5
  33. 	          ],
  34. 	       % bubbl(L,_),
  35. 	       tbs(L,_),
  36. 	        length(L,N), write(N), nl
  37. 	       ) ),
  38. 	true.
  39.  
  40. bubbl([], []).       % from SO
  41. bubbl([H], [H]).
  42. bubbl([H|T], S) :- 
  43.     bubbl(T, [M|R]),
  44.     (  H =< M, S = [H,M|R]
  45.     ;  H > M, bubbl([M,H|R], S)
  46.     ).
  47.  
  48. % 'true' bubble sort -- by Will Ness
  49. tbs([], []).
  50. tbs([H],[H]).
  51. tbs(L,S):- bubble(L,B),
  52.   ( L==B -> S=L
  53.   ;         tbs(B,S) ).
  54. bubble([],[]).
  55. bubble([A],[A]).
  56. bubble([A,B|C],R):- 
  57.   (  A =< B -> bubble([B|C],X), R=[A|X]
  58.   ;            bubble([A|C],X), R=[B|X]
  59.   ).
  60.  
  61. :- main.
Success #stdin #stdout #stderr 0.1s 14776KB
comments (?)
stdin 
Standard input is empty
stdout 
240
stderr 
% 49,410 inferences, 0.031 CPU in 0.031 seconds (100% CPU, 1593390 Lips)
https://ideone.com/eVTyK1
see stackoverflow.com/a/51926948
language:
Prolog (swi 7.6.4)
created:
7 years ago
visibility:
public

Share or Embed source code

Discover > Sphere Engine API

The brand new service which powers Ideone!

Discover > IDE Widget

Widget for compiling and running the source code in a web browser!