fork(1) download
  1. :- set_prolog_flag(verbose,silent).
  2. :- prompt(_, '').
  3. :- use_module(library(readutil)).
  4.  
  5. searchHerf(0,List,[],List):-!.
  6. searchHerf(N,List,[X|Now],Next):-N2 is N-1,
  7. select(X,List,List2),
  8. searchHerf(N2,List2,Now,Next).
  9. calc([],_,M,M):-!.
  10. calc([X|Ls],N,M,Res):-M2 is M+N*X,
  11. N2 is N+1,
  12. calc(Ls,N2,M2,Res).
  13.  
  14. main:-
  15. process,
  16.  
  17. process:-
  18. /* your code goes here */
  19. List=[1,2,3,6,7,8,9,10],
  20. searchHerf(3,List,Ls,List2),
  21. searchHerf(5,List2,Rs,_),
  22. calc(Ls,1,0,LM),
  23. calc(Rs,1,0,RM),
  24. LM is RM,
  25. write(Ls),
  26. write(Rs),
  27. nl,
  28. false.
  29. process.
  30. :- main.
Success #stdin #stdout 0.15s 7000KB
stdin
Standard input is empty
stdout
[6,7,10][9,8,1,3,2]
[6,7,10][9,8,2,1,3]
[6,8,9][7,10,3,2,1]
[6,8,9][10,7,1,3,2]
[6,8,9][10,7,2,1,3]
[6,9,10][3,7,8,2,1]
[6,9,10][3,8,7,1,2]
[6,9,10][7,2,8,1,3]
[6,9,10][8,1,7,2,3]
[6,9,10][8,2,3,7,1]
[6,10,7][9,8,3,2,1]
[6,10,8][7,9,1,3,2]
[6,10,8][7,9,2,1,3]
[6,10,8][9,3,7,1,2]
[6,10,9][3,8,7,2,1]
[6,10,9][8,1,7,3,2]
[6,10,9][8,3,2,7,1]
[7,6,10][8,9,2,3,1]
[7,6,10][8,9,3,1,2]
[7,8,10][3,9,6,1,2]
[7,8,10][6,3,9,1,2]
[7,9,8][6,10,2,3,1]
[7,9,8][6,10,3,1,2]
[7,9,8][10,2,6,3,1]
[7,9,10][2,6,8,3,1]
[7,9,10][2,8,6,1,3]
[7,9,10][6,1,8,2,3]
[7,9,10][6,3,2,8,1]
[7,9,10][8,1,2,6,3]
[7,9,10][8,2,3,1,6]
[7,9,10][8,3,1,2,6]
[7,10,8][9,1,6,3,2]
[7,10,8][9,2,3,6,1]
[7,10,9][3,8,2,6,1]
[7,10,9][6,1,8,3,2]
[7,10,9][8,2,1,6,3]
[7,10,9][8,3,2,1,6]
[8,6,9][10,7,2,3,1]
[8,6,9][10,7,3,1,2]
[8,6,10][7,9,1,3,2]
[8,6,10][7,9,2,1,3]
[8,6,10][9,3,7,1,2]
[8,7,9][6,10,2,3,1]
[8,7,9][6,10,3,1,2]
[8,7,9][10,2,6,3,1]
[8,7,10][3,9,6,2,1]
[8,7,10][6,3,9,2,1]
[8,7,10][9,1,6,2,3]
[8,7,10][9,3,1,6,2]
[8,9,7][10,3,6,2,1]
[8,9,7][10,6,1,3,2]
[8,9,7][10,6,2,1,3]
[8,9,10][1,6,7,3,2]
[8,9,10][1,7,6,2,3]
[8,9,10][2,6,3,7,1]
[8,9,10][3,6,1,7,2]
[8,9,10][6,2,1,7,3]
[8,9,10][7,1,3,2,6]
[8,9,10][7,2,1,3,6]
[8,10,6][9,7,2,3,1]
[8,10,6][9,7,3,1,2]
[8,10,7][6,9,1,3,2]
[8,10,7][6,9,2,1,3]
[8,10,9][1,7,6,3,2]
[8,10,9][6,1,3,7,2]
[9,6,10][7,3,8,1,2]
[9,7,8][10,3,6,2,1]
[9,7,8][10,6,1,3,2]
[9,7,8][10,6,2,1,3]
[9,7,10][2,8,6,3,1]
[9,7,10][3,6,8,1,2]
[9,7,10][6,2,8,1,3]
[9,7,10][8,1,3,6,2]
[9,8,10][1,7,6,3,2]
[9,8,10][6,1,3,7,2]
[9,10,6][8,7,1,3,2]
[9,10,6][8,7,2,1,3]
[9,10,7][3,8,6,2,1]
[9,10,7][6,3,8,1,2]
[9,10,7][8,1,6,3,2]
[9,10,7][8,2,3,6,1]
[9,10,8][2,7,6,1,3]
[9,10,8][6,3,1,7,2]
[9,10,8][7,2,1,6,3]
[9,10,8][7,3,2,1,6]
[10,6,8][9,7,2,3,1]
[10,6,8][9,7,3,1,2]
[10,6,9][7,8,1,2,3]
[10,6,9][8,3,7,1,2]
[10,7,8][9,2,6,3,1]
[10,7,9][3,8,6,1,2]
[10,7,9][6,2,8,3,1]
[10,7,9][8,1,6,2,3]
[10,7,9][8,3,1,6,2]
[10,8,7][6,9,2,3,1]
[10,8,7][6,9,3,1,2]
[10,8,7][9,3,6,1,2]
[10,8,7][9,6,1,2,3]
[10,8,9][2,7,6,1,3]
[10,8,9][6,3,1,7,2]
[10,8,9][7,2,1,6,3]
[10,8,9][7,3,2,1,6]
[10,9,6][7,8,2,3,1]
[10,9,6][7,8,3,1,2]
[10,9,7][6,3,8,2,1]
[10,9,7][8,2,6,1,3]
[10,9,7][8,3,2,6,1]
[10,9,8][2,6,7,3,1]
[10,9,8][3,7,2,6,1]
[10,9,8][6,1,7,2,3]
[10,9,8][6,2,3,7,1]
[10,9,8][7,1,3,6,2]