Ideone.com

download

copy

:- set_prolog_flag(verbose,silent).
:- prompt(_, '').
:- use_module(library(readutil)).
 
searchHerf(0,List,[],List):-!.
searchHerf(N,List,[X|Now],Next):-N2 is N-1,
							select(X,List,List2),
							searchHerf(N2,List2,Now,Next).
calc([],_,M,M):-!.
calc([X|Ls],N,M,Res):-M2 is M+N*X,
					N2 is N+1,
					calc(Ls,N2,M2,Res).
 
main:-
	process,
	halt.
 
process:-
	/* your code goes here */
	List=[1,2,3,5,6,8,9,10],
	searchHerf(4,List,Ls,List2),
	searchHerf(4,List2,Rs,_),
	calc(Ls,1,0,LM),
	calc(Rs,1,0,RM),
	LM is RM,
	write(Ls),
	write(Rs),
	nl,
	false.
process.
:- main.

Success #stdin #stdout 0.16s 6968KB

stdin

copy

Standard input is empty

stdout

copy

[1,2,5,9][10,8,6,3]
[1,2,5,10][6,9,8,3]
[1,2,6,8][10,9,5,3]
[1,2,6,10][8,5,3,9]
[1,2,8,9][3,6,10,5]
[1,2,8,9][5,3,10,6]
[1,2,8,9][6,5,3,10]
[1,2,9,6][10,5,8,3]
[1,2,10,5][9,8,6,3]
[1,2,10,6][5,9,8,3]
[1,2,10,6][9,3,8,5]
[1,2,10,8][3,5,6,9]
[1,3,5,8][10,9,6,2]
[1,3,5,9][6,10,8,2]
[1,3,5,9][8,6,10,2]
[1,3,5,9][8,10,2,6]
[1,3,5,10][6,9,2,8]
[1,3,5,10][8,6,2,9]
[1,3,6,8][9,5,10,2]
[1,3,6,9][10,2,5,8]
[1,3,6,10][2,8,9,5]
[1,3,8,6][9,10,2,5]
[1,3,8,6][10,5,9,2]
[1,3,8,9][5,2,6,10]
[1,3,9,5][8,10,6,2]
[1,3,9,5][10,6,8,2]
[1,3,9,6][10,2,8,5]
[1,3,9,6][10,5,2,8]
[1,3,9,8][2,5,10,6]
[1,3,10,5][6,8,9,2]
[1,3,10,6][5,9,2,8]
[1,5,2,10][9,6,8,3]
[1,5,3,9][10,8,2,6]
[1,5,6,8][2,10,9,3]
[1,5,6,8][9,3,2,10]
[1,5,6,9][3,8,2,10]
[1,5,8,6][3,9,10,2]
[1,5,8,6][10,2,3,9]
[1,5,10,3][9,6,8,2]
[1,6,2,9][8,10,5,3]
[1,6,2,9][10,8,3,5]
[1,6,2,10][5,9,8,3]
[1,6,2,10][9,3,8,5]
[1,6,3,8][10,9,2,5]
[1,6,3,9][10,2,8,5]
[1,6,3,9][10,5,2,8]
[1,6,5,10][2,3,8,9]
[1,6,9,3][10,5,8,2]
[1,6,9,3][10,8,2,5]
[1,6,9,5][2,8,10,3]
[1,6,9,5][8,3,2,10]
[1,6,10,3][5,9,8,2]
[1,6,10,5][2,8,3,9]
[1,8,2,9][5,6,10,3]
[1,8,2,10][6,3,5,9]
[1,8,3,9][6,5,2,10]
[1,8,3,10][2,5,6,9]
[1,8,6,5][9,2,10,3]
[1,8,10,2][6,5,9,3]
[1,8,10,3][2,9,5,6]
[1,8,10,3][5,6,2,9]
[1,9,3,6][10,5,8,2]
[1,9,3,6][10,8,2,5]
[1,9,3,8][2,10,6,5]
[1,9,3,8][6,2,10,5]
[1,9,5,6][2,10,8,3]
[1,9,5,8][2,3,6,10]
[1,9,6,3][10,8,5,2]
[1,9,6,5][3,8,10,2]
[1,9,8,2][10,6,3,5]
[1,9,8,3][5,6,10,2]
[1,9,8,3][5,10,2,6]
[1,9,8,5][2,6,3,10]
[1,9,10,2][3,8,6,5]
[1,9,10,2][6,5,3,8]
[1,9,10,3][2,6,5,8]
[1,10,2,8][3,9,6,5]
[1,10,2,8][6,3,9,5]
[1,10,2,9][3,5,6,8]
[1,10,6,3][9,5,8,2]
[1,10,6,3][9,8,2,5]
[1,10,6,5][3,9,2,8]
[1,10,8,2][5,9,6,3]
[1,10,8,2][6,9,3,5]
[1,10,8,2][9,3,6,5]
[1,10,8,3][6,2,9,5]
[1,10,9,2][6,3,8,5]
[1,10,9,3][2,5,8,6]
[2,1,5,10][8,6,9,3]
[2,1,5,10][8,9,3,6]
[2,1,6,10][9,3,5,8]
[2,1,9,6][8,10,5,3]
[2,1,9,6][10,8,3,5]
[2,1,10,8][3,6,5,9]
[2,3,5,8][9,6,10,1]
[2,3,5,8][10,9,1,6]
[2,3,6,10][1,9,5,8]
[2,3,6,10][5,1,9,8]
[2,3,8,6][5,10,9,1]
[2,3,8,9][1,6,5,10]
[2,3,9,5][8,10,1,6]
[2,3,9,6][10,1,5,8]
[2,5,1,10][9,8,6,3]
[2,5,3,8][10,6,9,1]
[2,5,3,9][10,6,1,8]
[2,5,3,10][6,8,1,9]
[2,5,3,10][8,1,9,6]
[2,5,3,10][9,1,6,8]
[2,5,6,8][3,10,1,9]
[2,5,6,9][1,8,3,10]
[2,5,8,6][1,10,9,3]
[2,5,8,6][9,1,3,10]
[2,5,10,6][1,3,9,8]
[2,6,1,9][10,8,5,3]
[2,6,1,10][8,5,9,3]
[2,6,3,9][10,1,5,8]
[2,6,3,10][1,9,8,5]
[2,6,5,8][1,9,10,3]
[2,6,8,5][9,3,1,10]
[2,6,9,3][5,10,8,1]
[2,6,10,5][3,1,9,8]
[2,8,1,10][6,5,3,9]
[2,8,3,6][10,5,9,1]
[2,8,3,6][10,9,1,5]
[2,8,3,9][1,6,10,5]
[2,8,3,9][6,1,5,10]
[2,8,5,6][10,1,3,9]
[2,8,6,3][9,10,5,1]
[2,8,9,1][10,6,5,3]
[2,8,9,5][1,3,6,10]
[2,8,10,1][9,5,3,6]
[2,8,10,3][1,6,9,5]
[2,9,1,8][5,10,6,3]
[2,9,1,8][6,10,3,5]
[2,9,1,8][10,3,5,6]
[2,9,1,10][3,5,6,8]
[2,9,3,6][5,10,8,1]
[2,9,3,8][5,1,10,6]
[2,9,5,6][1,8,10,3]
[2,9,5,6][8,1,3,10]
[2,9,6,5][3,10,1,8]
[2,9,10,1][5,8,3,6]
[2,10,1,9][3,5,8,6]
[2,10,1,9][5,3,6,8]
[2,10,3,5][8,6,9,1]
[2,10,3,6][9,1,8,5]
[2,10,5,3][9,6,8,1]
[2,10,6,3][5,8,9,1]
[2,10,6,5][1,9,3,8]
[2,10,8,1][9,6,3,5]
[2,10,8,3][1,9,5,6]
[2,10,8,3][5,1,9,6]
[2,10,9,1][5,6,8,3]
[2,10,9,1][8,3,5,6]
[2,10,9,3][1,5,6,8]
[3,1,5,9][10,8,2,6]
[3,1,6,8][9,10,2,5]
[3,1,6,8][10,5,9,2]
[3,1,6,9][5,8,10,2]
[3,1,6,10][5,8,2,9]
[3,1,6,10][8,2,5,9]
[3,1,8,9][6,2,5,10]
[3,1,9,5][10,8,6,2]
[3,1,9,6][8,5,10,2]
[3,1,9,8][2,6,10,5]
[3,1,10,5][8,6,9,2]
[3,1,10,5][9,8,2,6]
[3,1,10,6][8,2,9,5]
[3,2,6,8][5,9,10,1]
[3,2,6,9][8,5,1,10]
[3,2,8,5][9,10,6,1]
[3,2,9,5][6,10,8,1]
[3,2,9,5][8,6,10,1]
[3,2,10,6][8,1,5,9]
[3,5,1,9][10,8,6,2]
[3,5,1,10][6,9,8,2]
[3,5,1,10][8,9,2,6]
[3,5,2,8][9,10,6,1]
[3,5,2,9][8,10,1,6]
[3,5,2,10][6,9,1,8]
[3,5,2,10][8,6,1,9]
[3,5,2,10][9,1,8,6]
[3,5,6,8][1,10,2,9]
[3,5,6,8][2,9,1,10]
[3,5,6,9][1,2,10,8]
[3,5,8,6][2,10,1,9]
[3,5,9,2][10,8,6,1]
[3,5,10,2][8,6,9,1]
[3,6,1,9][8,10,2,5]
[3,6,2,8][9,5,10,1]
[3,6,2,10][8,1,5,9]
[3,6,5,9][2,1,10,8]
[3,6,8,2][10,9,5,1]
[3,6,10,1][8,9,5,2]
[3,6,10,5][1,2,8,9]
[3,8,2,9][5,1,10,6]
[3,8,2,10][1,5,6,9]
[3,8,6,5][1,9,10,2]
[3,8,6,5][9,1,2,10]
[3,8,9,1][10,5,2,6]
[3,8,10,1][5,9,2,6]
[3,8,10,2][1,9,6,5]
[3,9,2,6][8,10,1,5]
[3,9,2,8][1,10,6,5]
[3,9,2,8][6,5,1,10]
[3,9,6,2][8,10,5,1]
[3,9,6,5][1,10,2,8]
[3,9,8,1][6,10,5,2]
[3,9,10,1][5,6,2,8]
[3,9,10,2][1,5,8,6]
[3,10,1,8][2,9,6,5]
[3,10,1,8][6,5,2,9]
[3,10,1,9][2,5,6,8]
[3,10,2,5][9,6,8,1]
[3,10,2,8][5,1,6,9]
[3,10,6,2][8,5,9,1]
[3,10,6,2][8,9,1,5]
[3,10,8,1][6,5,9,2]
[3,10,8,1][9,2,6,5]
[3,10,8,2][6,1,9,5]
[3,10,8,2][6,5,1,9]
[3,10,9,1][6,2,8,5]
[3,10,9,1][6,5,2,8]
[5,1,3,9][10,8,6,2]
[5,1,3,10][6,9,8,2]
[5,1,3,10][8,9,2,6]
[5,1,6,9][3,10,2,8]
[5,1,6,9][8,2,3,10]
[5,1,8,6][9,2,10,3]
[5,1,9,6][2,10,8,3]
[5,1,9,8][2,3,6,10]
[5,1,10,6][2,9,3,8]
[5,1,10,6][3,8,2,9]
[5,2,3,8][10,9,6,1]
[5,2,3,9][6,10,8,1]
[5,2,3,9][8,6,10,1]
[5,2,6,10][1,3,8,9]
[5,2,8,6][10,1,3,9]
[5,2,9,3][10,8,6,1]
[5,2,10,3][8,6,9,1]
[5,3,2,9][10,8,1,6]
[5,3,6,8][2,10,1,9]
[5,3,10,2][9,6,8,1]
[5,3,10,6][1,2,8,9]
[5,6,2,8][3,9,10,1]
[5,6,2,8][10,3,1,9]
[5,6,2,9][1,8,10,3]
[5,6,2,9][8,1,3,10]
[5,6,8,1][10,9,3,2]
[5,6,8,2][9,3,10,1]
[5,6,8,3][2,10,9,1]
[5,6,8,3][10,2,1,9]
[5,6,9,1][10,3,8,2]
[5,6,9,2][8,1,10,3]
[5,6,9,3][8,1,2,10]
[5,6,10,1][8,2,9,3]
[5,6,10,2][1,9,8,3]
[5,6,10,2][8,1,3,9]
[5,6,10,3][1,8,2,9]
[5,8,2,6][10,1,9,3]
[5,8,2,9][3,1,6,10]
[5,8,3,6][2,9,10,1]
[5,8,3,6][10,1,2,9]
[5,8,6,2][10,3,9,1]
[5,8,9,1][2,10,6,3]
[5,8,9,1][6,2,10,3]
[5,8,10,1][6,2,3,9]
[5,8,10,2][3,1,6,9]
[5,9,1,6][10,2,8,3]
[5,9,1,8][6,3,2,10]
[5,9,2,6][3,8,10,1]
[5,9,2,6][10,1,3,8]
[5,9,2,8][1,3,10,6]
[5,9,3,6][8,1,2,10]
[5,9,6,1][8,10,3,2]
[5,9,6,3][1,10,8,2]
[5,9,8,2][1,6,10,3]
[5,9,8,2][6,3,1,10]
[5,9,8,3][1,2,10,6]
[5,9,8,3][1,6,2,10]
[5,9,10,1][3,2,6,8]
[5,10,2,6][1,9,8,3]
[5,10,2,6][8,1,3,9]
[5,10,6,1][9,3,8,2]
[5,10,6,3][2,9,1,8]
[5,10,8,1][2,6,9,3]
[5,10,8,1][2,9,3,6]
[5,10,9,1][2,3,8,6]
[6,1,2,10][9,8,3,5]
[6,1,3,10][9,2,8,5]
[6,1,3,10][9,5,2,8]
[6,1,5,8][9,2,10,3]
[6,1,5,10][2,8,3,9]
[6,1,9,5][3,10,8,2]
[6,1,9,5][10,2,3,8]
[6,2,1,10][8,9,5,3]
[6,2,3,8][10,5,9,1]
[6,2,3,8][10,9,1,5]
[6,2,3,9][5,8,10,1]
[6,2,3,9][10,5,1,8]
[6,2,5,8][10,1,3,9]
[6,2,5,10][3,1,8,9]
[6,2,8,5][3,10,9,1]
[6,2,9,3][10,8,1,5]
[6,2,9,5][1,10,8,3]
[6,2,9,5][8,3,1,10]
[6,2,10,3][5,8,9,1]
[6,2,10,5][1,9,3,8]
[6,3,1,9][8,10,5,2]
[6,3,1,10][5,9,8,2]
[6,3,2,10][5,9,1,8]
[6,3,2,10][9,1,5,8]
[6,3,5,9][1,8,2,10]
[6,3,8,5][1,10,9,2]
[6,3,8,5][9,2,1,10]
[6,3,9,2][8,10,5,1]
[6,3,9,5][1,10,2,8]
[6,5,1,8][10,3,9,2]
[6,5,1,9][3,10,8,2]
[6,5,1,9][10,2,3,8]
[6,5,1,10][3,9,2,8]
[6,5,2,8][3,10,9,1]
[6,5,2,9][3,10,1,8]
[6,5,2,10][1,8,3,9]
[6,5,3,8][1,9,10,2]
[6,5,3,8][9,1,2,10]
[6,5,3,9][2,8,1,10]
[6,5,3,10][1,2,8,9]
[6,5,9,2][3,10,8,1]
[6,5,9,2][10,3,1,8]
[6,5,9,3][1,8,10,2]
[6,5,9,3][8,2,1,10]
[6,8,1,5][10,9,3,2]
[6,8,1,9][2,5,3,10]
[6,8,5,3][9,1,10,2]
[6,8,9,2][1,3,10,5]
[6,9,1,8][3,5,2,10]
[6,9,2,8][1,3,5,10]
[6,9,3,5][1,10,8,2]
[6,9,5,1][10,8,3,2]
[6,9,8,2][3,5,1,10]
[6,9,8,2][5,1,3,10]
[6,9,8,3][1,2,5,10]
[6,10,1,5][8,3,9,2]
[6,10,1,5][9,2,8,3]
[6,10,2,3][9,8,5,1]
[6,10,2,5][9,1,3,8]
[6,10,3,5][2,9,1,8]
[6,10,5,2][3,9,8,1]
[6,10,5,2][8,1,9,3]
[6,10,8,1][3,2,9,5]
[6,10,8,1][5,2,3,9]
[6,10,8,2][1,3,5,9]
[8,1,2,10][5,6,9,3]
[8,1,2,10][5,9,3,6]
[8,1,3,9][5,6,10,2]
[8,1,3,9][5,10,2,6]
[8,1,3,10][2,9,5,6]
[8,1,3,10][5,6,2,9]
[8,1,5,9][3,2,10,6]
[8,1,5,9][3,6,2,10]
[8,1,9,3][6,10,5,2]
[8,1,9,6][2,5,3,10]
[8,1,10,2][9,6,5,3]
[8,1,10,3][5,6,9,2]
[8,1,10,3][9,2,5,6]
[8,2,1,9][10,6,3,5]
[8,2,1,10][6,5,9,3]
[8,2,3,10][5,1,6,9]
[8,2,5,6][10,1,9,3]
[8,2,5,9][3,1,6,10]
[8,2,9,3][5,6,10,1]
[8,2,9,3][10,1,5,6]
[8,2,9,5][3,1,10,6]
[8,3,1,9][10,2,5,6]
[8,3,1,10][6,2,9,5]
[8,3,2,10][1,6,9,5]
[8,3,5,6][2,10,9,1]
[8,3,5,6][10,2,1,9]
[8,3,9,1][10,6,5,2]
[8,3,9,2][6,10,1,5]
[8,5,1,6][10,9,3,2]
[8,5,1,10][3,2,6,9]
[8,5,3,9][1,2,6,10]
[8,5,6,2][9,10,1,3]
[8,5,9,1][3,10,6,2]
[8,5,9,3][2,6,1,10]
[8,5,10,2][3,1,9,6]
[8,6,1,9][3,5,2,10]
[8,6,2,9][1,3,5,10]
[8,6,3,5][9,1,10,2]
[8,6,5,2][10,9,1,3]
[8,6,5,3][9,2,10,1]
[8,6,5,3][10,1,9,2]
[8,6,9,1][2,10,3,5]
[8,6,9,1][3,5,10,2]
[8,6,9,1][5,2,10,3]
[8,6,9,2][3,1,10,5]
[8,6,9,3][2,1,5,10]
[8,6,10,1][3,2,9,5]
[8,6,10,1][5,2,3,9]
[8,6,10,2][1,3,5,9]
[8,9,1,5][3,10,6,2]
[8,9,2,6][3,5,1,10]
[8,9,2,6][5,1,3,10]
[8,9,3,6][2,1,5,10]
[8,9,5,2][3,6,10,1]
[8,9,5,3][6,2,1,10]
[8,10,1,5][3,9,2,6]
[8,10,1,6][2,3,9,5]
[8,10,1,6][3,5,2,9]
[8,10,2,3][9,5,1,6]
[8,10,2,5][3,6,1,9]
[8,10,2,6][1,3,5,9]
[8,10,3,2][5,9,6,1]
[8,10,5,1][3,9,6,2]
[8,10,5,1][6,3,9,2]
[8,10,5,2][6,3,1,9]
[8,10,5,3][1,6,2,9]
[8,10,5,3][2,1,9,6]
[8,10,6,2][1,3,9,5]
[9,1,2,8][10,6,5,3]
[9,1,2,10][3,8,6,5]
[9,1,2,10][6,5,3,8]
[9,1,3,8][6,10,2,5]
[9,1,3,8][10,2,6,5]
[9,1,3,10][2,5,8,6]
[9,1,5,6][10,2,8,3]
[9,1,5,8][6,3,2,10]
[9,1,6,8][2,5,3,10]
[9,1,8,5][2,10,3,6]
[9,1,8,6][3,5,2,10]
[9,1,10,2][6,8,5,3]
[9,1,10,2][8,6,3,5]
[9,2,1,10][6,3,8,5]
[9,2,5,6][8,1,10,3]
[9,2,6,5][3,10,8,1]
[9,2,6,5][10,3,1,8]
[9,2,8,3][6,10,1,5]
[9,2,8,5][6,1,3,10]
[9,2,10,1][8,6,5,3]
[9,2,10,3][1,8,6,5]
[9,2,10,3][5,1,8,6]
[9,2,10,3][6,1,5,8]
[9,3,1,8][10,5,2,6]
[9,3,1,10][2,6,8,5]
[9,3,2,6][10,8,5,1]
[9,3,2,10][1,5,6,8]
[9,3,5,8][2,1,6,10]
[9,3,6,5][1,10,8,2]
[9,3,8,2][5,10,6,1]
[9,3,8,2][10,5,1,6]
[9,3,8,5][1,2,10,6]
[9,3,8,5][1,6,2,10]
[9,3,10,1][5,6,8,2]
[9,5,1,6][8,10,2,3]
[9,5,2,8][6,1,3,10]
[9,5,3,6][2,8,10,1]
[9,5,6,3][10,2,1,8]
[9,5,8,1][10,2,3,6]
[9,5,8,2][1,10,6,3]
[9,5,10,1][3,6,2,8]
[9,5,10,2][1,3,6,8]
[9,6,1,5][10,8,2,3]
[9,6,3,5][2,10,8,1]
[9,6,3,5][10,1,2,8]
[9,6,5,2][10,3,8,1]
[9,6,5,3][8,1,10,2]
[9,6,8,1][2,10,5,3]
[9,6,8,1][3,10,2,5]
[9,6,8,1][5,3,10,2]
[9,6,8,2][1,5,10,3]
[9,6,8,3][1,5,2,10]
[9,6,10,1][2,3,5,8]
[9,8,2,5][1,10,6,3]
[9,8,2,6][3,1,10,5]
[9,8,3,2][10,5,6,1]
[9,8,3,5][6,1,2,10]
[9,8,5,1][6,10,2,3]
[9,8,5,1][10,2,6,3]
[9,8,6,3][1,2,10,5]
[9,8,6,3][2,5,1,10]
[9,10,1,3][8,5,6,2]
[9,10,2,5][1,3,8,6]
[9,10,2,5][3,1,6,8]
[9,10,5,1][2,8,6,3]
[9,10,6,1][3,2,8,5]
[9,10,6,1][3,5,2,8]
[10,1,2,8][9,6,3,5]
[10,1,2,9][5,8,3,6]
[10,1,3,8][5,9,2,6]
[10,1,3,9][2,8,5,6]
[10,1,3,9][5,2,8,6]
[10,1,3,9][6,2,5,8]
[10,1,5,6][8,2,9,3]
[10,1,5,8][2,3,9,6]
[10,1,5,8][2,6,3,9]
[10,1,9,2][8,6,5,3]
[10,1,9,3][5,8,2,6]
[10,1,9,3][8,2,5,6]
[10,2,1,8][9,5,6,3]
[10,2,1,9][5,6,8,3]
[10,2,1,9][8,3,5,6]
[10,2,3,6][9,5,8,1]
[10,2,3,8][6,1,9,5]
[10,2,3,8][6,5,1,9]
[10,2,3,9][1,5,8,6]
[10,2,5,6][8,3,1,9]
[10,2,5,8][1,3,6,9]
[10,2,6,3][9,8,5,1]
[10,2,6,5][9,1,3,8]
[10,2,8,3][5,9,1,6]
[10,2,8,3][9,1,5,6]
[10,2,8,5][1,3,9,6]
[10,2,8,5][1,6,3,9]
[10,3,1,8][6,5,9,2]
[10,3,1,8][9,2,6,5]
[10,3,1,9][5,6,2,8]
[10,3,5,6][2,9,1,8]
[10,3,8,1][9,6,5,2]
[10,3,8,2][5,6,9,1]
[10,3,9,1][5,8,6,2]
[10,3,9,2][6,5,1,8]
[10,5,1,6][9,3,8,2]
[10,5,1,8][6,2,3,9]
[10,5,2,6][3,8,9,1]
[10,5,2,6][9,3,1,8]
[10,5,2,8][1,3,9,6]
[10,5,2,8][1,6,3,9]
[10,5,6,1][9,8,3,2]
[10,5,8,2][1,6,9,3]
[10,5,8,2][1,9,3,6]
[10,5,8,3][1,2,9,6]
[10,5,9,1][2,8,3,6]
[10,5,9,1][6,2,3,8]
[10,5,9,2][1,3,8,6]
[10,5,9,2][3,1,6,8]
[10,6,1,8][2,5,3,9]
[10,6,3,5][1,9,8,2]
[10,6,3,5][8,2,1,9]
[10,6,5,2][8,3,9,1]
[10,6,5,3][2,8,9,1]
[10,6,5,3][9,1,2,8]
[10,6,8,2][1,3,9,5]
[10,6,9,1][2,5,3,8]
[10,8,1,5][6,2,9,3]
[10,8,1,6][5,3,2,9]
[10,8,2,3][9,6,1,5]
[10,8,2,5][1,6,9,3]
[10,8,2,5][1,9,3,6]
[10,8,2,6][1,5,3,9]
[10,8,2,6][3,1,5,9]
[10,8,3,2][6,9,5,1]
[10,8,3,5][1,6,2,9]
[10,8,3,5][2,1,9,6]
[10,8,5,1][9,3,2,6]
[10,8,5,2][1,9,6,3]
[10,8,5,3][2,6,1,9]
[10,8,6,1][3,5,9,2]
[10,8,6,1][5,2,9,3]
[10,8,6,2][3,1,9,5]
[10,8,6,2][3,5,1,9]
[10,8,6,2][5,1,3,9]
[10,8,6,3][1,2,5,9]
[10,9,1,3][8,6,5,2]
[10,9,1,5][2,8,3,6]
[10,9,1,5][6,2,3,8]
[10,9,1,6][2,3,5,8]
[10,9,2,5][1,6,3,8]
[10,9,3,2][5,6,8,1]
[10,9,3,2][6,8,1,5]
[10,9,3,2][8,5,1,6]
[10,9,5,1][3,6,8,2]
[10,9,5,3][1,2,6,8]
[10,9,6,1][5,2,3,8]
[10,9,6,2][1,3,5,8]

https://ideone.com/72IzJB

language:

Prolog (swi 7.6.4)

created:

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!

Discover > Sphere Engine API

Discover > IDE Widget

Choose your language