fork 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=[2,3,5,7,11,13,14,15],
  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.14s 6976KB
stdin
Standard input is empty
stdout
[5,14,15][13,11,7,3,2]
[7,13,14][15,11,5,2,3]
[7,13,15][11,14,3,5,2]
[7,13,15][14,11,3,2,5]
[7,14,13][15,11,5,3,2]
[7,14,15][11,13,2,3,5]
[7,15,13][11,14,5,3,2]
[7,15,14][11,13,3,2,5]
[7,15,14][13,5,11,2,3]
[11,13,14][5,15,7,2,3]
[11,13,14][7,15,3,2,5]
[11,13,14][15,3,5,2,7]
[11,13,15][3,14,7,5,2]
[11,13,15][5,14,2,7,3]
[11,13,15][7,5,14,2,3]
[11,13,15][14,2,3,5,7]
[11,14,13][5,15,7,3,2]
[11,14,13][7,15,2,5,3]
[11,14,13][15,5,2,3,7]
[11,14,15][2,13,7,5,3]
[11,14,15][5,13,2,3,7]
[11,15,13][5,14,3,7,2]
[11,15,13][14,2,3,7,5]
[11,15,13][14,2,5,3,7]
[11,15,14][3,13,7,2,5]
[11,15,14][5,13,3,2,7]
[13,11,14][15,2,5,7,3]
[13,11,14][15,2,7,3,5]
[13,11,14][15,5,3,2,7]
[13,11,15][5,14,3,7,2]
[13,11,15][14,2,3,7,5]
[13,11,15][14,2,5,3,7]
[13,14,11][7,15,5,3,2]
[13,14,11][15,3,5,7,2]
[13,14,11][15,5,2,7,3]
[13,14,15][2,7,11,3,5]
[13,14,15][2,11,3,7,5]
[13,14,15][2,11,5,3,7]
[13,14,15][3,7,5,11,2]
[13,14,15][3,11,2,5,7]
[13,14,15][5,3,7,11,2]
[13,15,11][5,14,7,3,2]
[13,15,11][7,14,2,5,3]
[13,15,11][14,2,5,7,3]
[13,15,11][14,2,7,3,5]
[13,15,11][14,5,3,2,7]
[13,15,14][5,2,11,7,3]
[13,15,14][7,2,5,11,3]
[14,7,15][13,11,5,2,3]
[14,11,13][7,15,5,2,3]
[14,11,13][15,2,7,5,3]
[14,11,13][15,3,7,2,5]
[14,11,15][5,7,13,2,3]
[14,11,15][13,2,3,5,7]
[14,13,15][5,2,11,7,3]
[14,13,15][7,2,5,11,3]
[14,15,11][13,3,5,2,7]
[14,15,13][3,7,11,2,5]
[14,15,13][3,11,5,2,7]
[15,11,13][5,14,7,3,2]
[15,11,13][7,14,2,5,3]
[15,11,13][14,2,5,7,3]
[15,11,13][14,2,7,3,5]
[15,11,13][14,5,3,2,7]
[15,11,14][7,5,13,2,3]
[15,11,14][13,2,3,7,5]
[15,11,14][13,2,5,3,7]
[15,13,11][7,14,3,5,2]
[15,13,11][14,2,7,5,3]
[15,13,11][14,3,7,2,5]
[15,13,14][3,7,11,2,5]
[15,13,14][3,11,5,2,7]
[15,14,11][7,13,2,3,5]
[15,14,11][13,5,2,3,7]
[15,14,13][2,11,5,7,3]
[15,14,13][2,11,7,3,5]
[15,14,13][5,3,11,7,2]
[15,14,13][5,7,3,11,2]
[15,14,13][7,3,5,11,2]
[15,14,13][7,5,2,11,3]