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,4,5,6,7,8],
	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.15s 6976KB

stdin

copy

Standard input is empty

stdout

copy

[1,2,4,8][5,7,6,3]
[1,2,4,8][6,5,7,3]
[1,2,4,8][6,7,3,5]
[1,2,5,7][8,3,6,4]
[1,2,5,8][3,6,7,4]
[1,2,5,8][6,3,4,7]
[1,2,6,7][3,8,4,5]
[1,2,6,7][5,3,8,4]
[1,2,7,5][6,8,4,3]
[1,2,7,5][8,4,6,3]
[1,2,7,6][3,8,5,4]
[1,2,7,6][4,5,8,3]
[1,2,8,5][4,6,7,3]
[1,2,8,5][6,3,7,4]
[1,2,8,5][7,3,4,6]
[1,2,8,6][3,5,4,7]
[1,2,8,6][4,3,5,7]
[1,3,4,7][5,8,6,2]
[1,3,4,8][5,6,2,7]
[1,3,4,8][6,2,7,5]
[1,3,5,7][4,8,2,6]
[1,3,5,7][6,2,8,4]
[1,3,5,8][2,6,4,7]
[1,3,5,8][4,2,6,7]
[1,3,6,5][7,8,2,4]
[1,3,6,5][8,4,7,2]
[1,3,6,7][5,2,4,8]
[1,3,7,4][8,5,6,2]
[1,3,7,5][4,6,8,2]
[1,3,7,5][8,2,4,6]
[1,3,7,6][2,5,8,4]
[1,3,7,6][4,2,8,5]
[1,3,7,6][4,5,2,8]
[1,3,8,4][7,5,2,6]
[1,3,8,5][2,6,7,4]
[1,4,2,8][6,7,5,3]
[1,4,2,8][7,5,6,3]
[1,4,3,7][8,6,2,5]
[1,4,3,8][6,5,2,7]
[1,4,3,8][7,2,5,6]
[1,4,5,6][3,8,7,2]
[1,4,5,6][8,3,2,7]
[1,4,6,5][7,2,8,3]
[1,4,6,7][2,3,5,8]
[1,4,7,5][2,6,8,3]
[1,4,7,5][6,3,2,8]
[1,4,7,6][3,2,5,8]
[1,4,8,3][5,7,6,2]
[1,4,8,3][6,5,7,2]
[1,4,8,3][7,6,2,5]
[1,4,8,5][2,3,7,6]
[1,4,8,5][3,2,6,7]
[1,5,2,7][8,6,3,4]
[1,5,2,8][4,6,7,3]
[1,5,2,8][6,3,7,4]
[1,5,2,8][7,3,4,6]
[1,5,3,6][8,7,2,4]
[1,5,3,7][4,6,8,2]
[1,5,3,7][8,2,4,6]
[1,5,3,8][2,7,4,6]
[1,5,4,6][7,2,8,3]
[1,5,4,7][2,8,3,6]
[1,5,4,7][6,2,3,8]
[1,5,6,4][7,3,8,2]
[1,5,6,4][8,2,7,3]
[1,5,7,3][6,8,2,4]
[1,5,7,4][2,8,6,3]
[1,5,8,2][7,6,4,3]
[1,5,8,3][6,2,7,4]
[1,5,8,3][7,2,4,6]
[1,5,8,4][2,6,3,7]
[1,6,2,7][4,8,5,3]
[1,6,2,8][4,3,7,5]
[1,6,2,8][4,5,3,7]
[1,6,2,8][5,3,4,7]
[1,6,3,5][8,7,4,2]
[1,6,3,7][2,8,4,5]
[1,6,4,5][7,3,8,2]
[1,6,4,5][8,2,7,3]
[1,6,4,7][2,5,3,8]
[1,6,7,2][8,5,4,3]
[1,6,7,3][4,5,8,2]
[1,6,7,3][4,8,2,5]
[1,6,7,4][5,2,3,8]
[1,6,8,2][4,7,5,3]
[1,6,8,2][7,3,4,5]
[1,6,8,3][2,5,7,4]
[1,6,8,3][4,2,7,5]
[1,6,8,3][5,2,4,7]
[1,7,2,6][5,8,4,3]
[1,7,2,6][8,3,5,4]
[1,7,2,6][8,4,3,5]
[1,7,3,5][6,8,2,4]
[1,7,4,5][3,6,8,2]
[1,7,4,6][3,2,8,5]
[1,7,4,6][3,5,2,8]
[1,7,5,3][6,8,4,2]
[1,7,5,3][8,4,6,2]
[1,7,5,3][8,6,2,4]
[1,7,5,4][6,2,8,3]
[1,7,6,3][5,4,8,2]
[1,7,6,4][5,3,2,8]
[1,7,8,2][3,5,6,4]
[1,7,8,2][3,6,4,5]
[1,7,8,2][4,5,3,6]
[1,7,8,2][5,3,4,6]
[1,8,2,5][7,6,4,3]
[1,8,2,6][4,5,7,3]
[1,8,2,6][4,7,3,5]
[1,8,3,4][7,6,5,2]
[1,8,4,5][2,7,3,6]
[1,8,4,5][3,6,2,7]
[1,8,5,3][4,7,6,2]
[1,8,6,2][5,7,4,3]
[1,8,6,3][2,7,5,4]
[1,8,6,3][5,4,2,7]
[1,8,6,4][2,3,5,7]
[1,8,7,2][3,6,5,4]
[1,8,7,2][5,4,3,6]
[2,1,4,8][7,6,3,5]
[2,1,5,7][6,8,3,4]
[2,1,5,8][3,7,6,4]
[2,1,5,8][4,7,3,6]
[2,1,5,8][6,4,3,7]
[2,1,6,7][3,8,5,4]
[2,1,6,7][4,5,8,3]
[2,1,6,8][3,4,5,7]
[2,1,7,5][8,6,3,4]
[2,1,7,6][4,8,3,5]
[2,1,7,6][5,4,8,3]
[2,1,8,5][4,7,6,3]
[2,1,8,5][7,4,3,6]
[2,1,8,6][3,4,7,5]
[2,3,4,7][5,8,1,6]
[2,3,4,7][8,1,6,5]
[2,3,4,8][5,1,7,6]
[2,3,5,6][8,1,7,4]
[2,3,5,6][8,4,1,7]
[2,3,5,7][1,8,6,4]
[2,3,5,7][4,6,1,8]
[2,3,5,8][1,4,6,7]
[2,3,6,4][7,8,5,1]
[2,3,6,5][4,7,8,1]
[2,3,7,4][5,6,8,1]
[2,3,7,4][6,8,1,5]
[2,3,7,4][8,5,1,6]
[2,3,7,5][6,4,1,8]
[2,3,7,6][1,4,8,5]
[2,3,7,6][4,1,5,8]
[2,3,8,4][5,6,1,7]
[2,3,8,4][7,1,5,6]
[2,3,8,5][4,1,6,7]
[2,4,3,6][8,5,7,1]
[2,4,3,8][6,1,5,7]
[2,4,5,7][3,1,8,6]
[2,4,6,5][7,3,1,8]
[2,4,7,3][5,8,6,1]
[2,4,7,3][8,6,1,5]
[2,4,8,3][5,7,1,6]
[2,5,1,8][6,4,7,3]
[2,5,1,8][7,3,6,4]
[2,5,3,6][4,8,7,1]
[2,5,3,7][6,4,1,8]
[2,5,3,8][1,6,4,7]
[2,5,4,6][7,3,1,8]
[2,5,6,3][7,8,1,4]
[2,5,7,4][1,6,8,3]
[2,5,7,4][6,1,3,8]
[2,5,8,3][6,1,4,7]
[2,5,8,4][1,3,7,6]
[2,6,1,7][5,8,4,3]
[2,6,1,7][8,3,5,4]
[2,6,1,7][8,4,3,5]
[2,6,1,8][3,7,4,5]
[2,6,3,5][7,4,8,1]
[2,6,3,7][1,5,8,4]
[2,6,3,7][5,1,4,8]
[2,6,4,7][1,3,5,8]
[2,6,5,3][8,4,7,1]
[2,6,5,3][8,7,1,4]
[2,6,5,4][3,7,8,1]
[2,6,5,4][7,1,8,3]
[2,6,5,4][8,3,1,7]
[2,6,7,3][5,1,8,4]
[2,6,7,4][1,3,8,5]
[2,6,8,1][7,4,5,3]
[2,6,8,1][7,5,3,4]
[2,6,8,3][1,4,7,5]
[2,7,1,6][8,4,5,3]
[2,7,1,6][8,5,3,4]
[2,7,3,4][6,8,5,1]
[2,7,3,6][1,8,4,5]
[2,7,3,6][4,5,1,8]
[2,7,4,3][8,5,6,1]
[2,7,4,6][1,5,3,8]
[2,7,4,6][3,1,5,8]
[2,7,5,3][8,4,1,6]
[2,7,5,4][1,8,6,3]
[2,7,5,4][6,3,1,8]
[2,7,8,1][4,5,6,3]
[2,7,8,1][6,3,4,5]
[2,8,1,6][4,7,5,3]
[2,8,1,6][7,3,4,5]
[2,8,1,7][3,4,6,5]
[2,8,1,7][3,5,4,6]
[2,8,1,7][4,3,5,6]
[2,8,3,4][6,7,1,5]
[2,8,3,5][4,6,1,7]
[2,8,3,6][1,5,4,7]
[2,8,4,3][5,6,7,1]
[2,8,4,3][7,6,1,5]
[2,8,4,5][1,6,3,7]
[2,8,4,5][3,1,7,6]
[2,8,5,3][4,7,1,6]
[2,8,5,3][6,1,7,4]
[2,8,5,3][6,4,1,7]
[2,8,5,3][7,1,4,6]
[2,8,6,3][1,5,7,4]
[2,8,7,1][4,6,5,3]
[2,8,7,1][5,4,6,3]
[2,8,7,1][6,3,5,4]
[2,8,7,1][6,4,3,5]
[3,1,4,7][6,8,5,2]
[3,1,4,8][5,7,2,6]
[3,1,4,8][7,2,6,5]
[3,1,5,6][8,7,2,4]
[3,1,5,7][4,6,8,2]
[3,1,5,7][8,2,4,6]
[3,1,5,8][2,7,4,6]
[3,1,6,5][7,8,4,2]
[3,1,6,7][5,4,2,8]
[3,1,7,5][4,8,6,2]
[3,1,7,5][6,4,8,2]
[3,1,7,5][8,2,6,4]
[3,1,7,5][8,4,2,6]
[3,1,7,6][2,8,4,5]
[3,1,8,4][5,7,6,2]
[3,1,8,4][6,5,7,2]
[3,1,8,4][7,6,2,5]
[3,1,8,6][2,4,5,7]
[3,2,4,6][8,5,7,1]
[3,2,4,8][6,1,5,7]
[3,2,5,6][4,7,8,1]
[3,2,5,8][1,4,7,6]
[3,2,6,4][8,7,5,1]
[3,2,6,5][4,8,7,1]
[3,2,6,7][1,4,8,5]
[3,2,6,7][4,1,5,8]
[3,2,7,4][6,5,8,1]
[3,2,7,5][6,1,8,4]
[3,2,8,4][6,5,1,7]
[3,2,8,4][7,1,6,5]
[3,2,8,5][1,7,4,6]
[3,2,8,5][4,1,7,6]
[3,4,1,8][5,6,7,2]
[3,4,1,8][6,7,2,5]
[3,4,2,6][8,7,5,1]
[3,4,2,7][5,6,8,1]
[3,4,2,7][6,8,1,5]
[3,4,2,7][8,5,1,6]
[3,4,2,8][6,1,7,5]
[3,4,5,7][2,1,6,8]
[3,4,6,5][2,8,1,7]
[3,4,7,2][8,5,6,1]
[3,4,7,5][2,1,8,6]
[3,4,8,2][6,7,1,5]
[3,5,1,7][6,8,2,4]
[3,5,1,8][4,7,2,6]
[3,5,1,8][6,4,2,7]
[3,5,2,6][7,4,8,1]
[3,5,2,7][4,8,1,6]
[3,5,2,8][1,7,4,6]
[3,5,2,8][4,1,7,6]
[3,5,4,6][2,8,1,7]
[3,5,4,7][1,2,8,6]
[3,5,6,2][7,8,4,1]
[3,5,6,4][1,7,8,2]
[3,5,6,4][7,1,2,8]
[3,5,7,2][4,8,6,1]
[3,5,7,2][6,4,8,1]
[3,5,8,1][7,4,6,2]
[3,5,8,1][7,6,2,4]
[3,5,8,2][4,7,1,6]
[3,5,8,2][6,1,7,4]
[3,5,8,2][6,4,1,7]
[3,5,8,2][7,1,4,6]
[3,6,1,7][4,5,8,2]
[3,6,1,7][4,8,2,5]
[3,6,2,5][8,4,7,1]
[3,6,2,5][8,7,1,4]
[3,6,2,7][1,8,4,5]
[3,6,2,7][4,5,1,8]
[3,6,4,5][1,7,8,2]
[3,6,4,5][7,1,2,8]
[3,6,5,2][8,7,4,1]
[3,6,5,4][1,8,7,2]
[3,6,5,4][7,2,1,8]
[3,6,7,1][8,5,2,4]
[3,6,7,4][1,2,5,8]
[3,6,8,1][4,5,7,2]
[3,6,8,1][7,2,4,5]
[3,6,8,2][1,7,4,5]
[3,6,8,2][4,1,7,5]
[3,6,8,2][5,1,4,7]
[3,7,1,5][8,6,4,2]
[3,7,1,6][8,2,4,5]
[3,7,2,4][8,6,5,1]
[3,7,2,5][8,4,1,6]
[3,7,2,6][5,1,8,4]
[3,7,4,5][2,6,1,8]
[3,7,6,1][8,4,5,2]
[3,7,6,2][4,8,1,5]
[3,7,6,4][2,1,5,8]
[3,7,8,1][2,6,5,4]
[3,7,8,1][5,2,4,6]
[3,8,1,5][6,7,2,4]
[3,8,1,6][5,2,7,4]
[3,8,2,4][5,7,6,1]
[3,8,2,4][6,5,7,1]
[3,8,2,5][4,7,1,6]
[3,8,2,5][6,1,7,4]
[3,8,2,5][6,4,1,7]
[3,8,2,5][7,1,4,6]
[3,8,2,6][4,1,5,7]
[3,8,4,2][6,7,5,1]
[3,8,4,2][7,5,6,1]
[3,8,4,5][1,2,6,7]
[3,8,5,2][7,4,1,6]
[3,8,5,4][1,2,7,6]
[3,8,5,4][2,1,6,7]
[3,8,6,1][4,7,5,2]
[3,8,6,1][5,7,2,4]
[3,8,6,1][7,4,2,5]
[3,8,6,2][4,5,1,7]
[3,8,7,1][4,5,2,6]
[3,8,7,2][1,4,5,6]
[4,1,3,7][8,6,5,2]
[4,1,3,8][7,5,2,6]
[4,1,5,6][7,3,8,2]
[4,1,5,6][8,2,7,3]
[4,1,5,7][3,8,2,6]
[4,1,5,8][2,3,7,6]
[4,1,5,8][3,2,6,7]
[4,1,6,7][2,3,8,5]
[4,1,7,5][3,6,8,2]
[4,1,7,6][3,2,8,5]
[4,1,7,6][3,5,2,8]
[4,1,8,3][7,6,5,2]
[4,2,3,6][8,7,5,1]
[4,2,3,7][5,6,8,1]
[4,2,3,7][6,8,1,5]
[4,2,3,7][8,5,1,6]
[4,2,3,8][6,1,7,5]
[4,2,5,6][8,1,3,7]
[4,2,6,7][1,3,5,8]
[4,2,7,3][6,8,5,1]
[4,2,7,5][1,6,8,3]
[4,2,7,5][6,1,3,8]
[4,2,8,3][7,5,1,6]
[4,2,8,5][1,3,7,6]
[4,3,1,8][5,7,6,2]
[4,3,1,8][6,5,7,2]
[4,3,1,8][7,6,2,5]
[4,3,2,7][6,5,8,1]
[4,3,2,8][5,6,1,7]
[4,3,2,8][7,1,5,6]
[4,3,5,6][2,8,1,7]
[4,3,5,7][1,2,8,6]
[4,3,7,2][8,6,5,1]
[4,3,7,5][1,6,2,8]
[4,3,8,2][5,6,7,1]
[4,3,8,2][7,6,1,5]
[4,5,1,6][7,8,2,3]
[4,5,1,7][3,8,6,2]
[4,5,1,7][8,2,3,6]
[4,5,1,8][2,7,3,6]
[4,5,1,8][3,6,2,7]
[4,5,2,6][3,8,7,1]
[4,5,2,8][1,3,7,6]
[4,5,3,6][1,7,8,2]
[4,5,3,6][7,1,2,8]
[4,5,3,7][1,6,2,8]
[4,5,6,3][2,7,8,1]
[4,5,6,3][8,1,2,7]
[4,5,7,1][6,8,3,2]
[4,5,7,2][3,6,8,1]
[4,5,7,2][8,1,3,6]
[4,5,7,3][1,8,2,6]
[4,5,8,2][1,6,7,3]
[4,5,8,2][3,6,1,7]
[4,5,8,3][1,2,7,6]
[4,5,8,3][2,1,6,7]
[4,6,1,5][8,7,3,2]
[4,6,1,7][2,8,3,5]
[4,6,1,8][2,3,5,7]
[4,6,5,2][8,3,7,1]
[4,6,5,3][2,8,7,1]
[4,6,5,3][8,2,1,7]
[4,6,7,1][8,2,3,5]
[4,6,7,3][1,2,8,5]
[4,6,7,3][1,5,2,8]
[4,6,8,2][1,3,7,5]
[4,6,8,2][1,5,3,7]
[4,6,8,2][3,1,5,7]
[4,7,1,6][2,8,5,3]
[4,7,1,6][3,5,8,2]
[4,7,1,6][3,8,2,5]
[4,7,1,6][5,2,8,3]
[4,7,2,5][6,1,8,3]
[4,7,2,6][3,5,1,8]
[4,7,2,6][5,1,3,8]
[4,7,3,5][1,8,2,6]
[4,7,3,6][2,1,5,8]
[4,7,5,1][8,6,3,2]
[4,7,5,2][3,8,6,1]
[4,7,5,2][8,3,1,6]
[4,7,5,3][1,6,8,2]
[4,7,5,3][2,8,1,6]
[4,7,5,3][6,2,1,8]
[4,7,6,1][8,3,2,5]
[4,7,6,2][1,8,5,3]
[4,7,6,3][2,1,8,5]
[4,7,8,1][2,3,6,5]
[4,7,8,1][3,2,5,6]
[4,8,1,5][3,7,6,2]
[4,8,1,5][6,2,7,3]
[4,8,1,5][7,3,2,6]
[4,8,1,6][3,5,2,7]
[4,8,2,3][7,6,5,1]
[4,8,2,5][1,6,7,3]
[4,8,2,5][3,6,1,7]
[4,8,2,6][1,3,5,7]
[4,8,3,5][2,1,7,6]
[4,8,5,1][7,3,6,2]
[4,8,5,2][6,3,1,7]
[4,8,5,3][1,6,2,7]
[4,8,6,1][3,5,7,2]
[4,8,6,1][5,2,7,3]
[4,8,6,2][3,1,7,5]
[4,8,7,1][2,5,3,6]
[4,8,7,1][3,2,6,5]
[5,1,2,8][6,7,3,4]
[5,1,2,8][7,4,6,3]
[5,1,3,7][6,8,2,4]
[5,1,3,8][4,7,2,6]
[5,1,3,8][6,4,2,7]
[5,1,4,6][8,3,7,2]
[5,1,4,7][3,6,8,2]
[5,1,4,8][2,6,3,7]
[5,1,6,4][7,8,2,3]
[5,1,7,3][8,6,4,2]
[5,1,7,4][6,3,8,2]
[5,1,7,4][8,3,2,6]
[5,1,7,6][2,3,4,8]
[5,1,8,3][6,4,7,2]
[5,1,8,4][2,6,7,3]
[5,1,8,4][3,7,2,6]
[5,1,8,4][6,2,3,7]
[5,2,1,8][6,7,4,3]
[5,2,1,8][7,6,3,4]
[5,2,3,6][7,8,1,4]
[5,2,3,7][8,1,4,6]
[5,2,3,8][1,6,7,4]
[5,2,4,6][3,7,8,1]
[5,2,4,6][7,1,8,3]
[5,2,4,6][8,3,1,7]
[5,2,4,7][1,6,8,3]
[5,2,4,7][6,1,3,8]
[5,2,4,8][1,3,6,7]
[5,2,6,3][7,8,4,1]
[5,2,6,4][8,1,7,3]
[5,2,7,3][4,8,6,1]
[5,2,7,3][6,4,8,1]
[5,2,7,4][3,8,1,6]
[5,2,8,3][4,7,1,6]
[5,2,8,3][6,1,7,4]
[5,2,8,3][6,4,1,7]
[5,2,8,3][7,1,4,6]
[5,3,1,7][6,8,4,2]
[5,3,1,7][8,4,6,2]
[5,3,1,7][8,6,2,4]
[5,3,2,6][8,4,7,1]
[5,3,2,6][8,7,1,4]
[5,3,2,8][1,7,6,4]
[5,3,4,6][1,7,8,2]
[5,3,4,6][7,1,2,8]
[5,3,4,7][1,6,2,8]
[5,3,8,1][7,6,4,2]
[5,3,8,2][7,1,6,4]
[5,3,8,4][1,2,6,7]
[5,4,1,6][7,8,3,2]
[5,4,1,6][8,7,2,3]
[5,4,1,7][6,3,8,2]
[5,4,1,7][8,3,2,6]
[5,4,2,6][8,1,7,3]
[5,4,2,7][1,8,6,3]
[5,4,2,7][6,3,1,8]
[5,4,2,8][3,1,6,7]
[5,4,3,6][1,8,7,2]
[5,4,3,6][7,2,1,8]
[5,4,6,2][8,3,7,1]
[5,4,6,3][2,8,7,1]
[5,4,6,3][8,2,1,7]
[5,4,7,1][8,6,2,3]
[5,4,7,3][6,1,2,8]
[5,4,8,1][6,3,7,2]
[5,4,8,1][7,2,6,3]
[5,4,8,2][1,7,6,3]
[5,4,8,2][6,1,3,7]
[5,4,8,3][2,1,7,6]
[5,6,1,7][2,3,8,4]
[5,6,1,7][4,3,2,8]
[5,6,2,4][8,3,7,1]
[5,6,2,7][1,3,4,8]
[5,6,4,2][8,7,1,3]
[5,6,4,3][7,1,8,2]
[5,6,7,1][2,8,4,3]
[5,6,7,1][4,3,8,2]
[5,6,7,2][3,4,1,8]
[5,6,8,1][2,3,7,4]
[5,6,8,1][3,4,2,7]
[5,6,8,1][4,2,3,7]
[5,7,1,4][8,6,2,3]
[5,7,1,6][2,4,8,3]
[5,7,2,4][3,8,6,1]
[5,7,2,4][8,3,1,6]
[5,7,2,6][3,1,4,8]
[5,7,3,2][8,6,4,1]
[5,7,4,3][1,8,6,2]
[5,7,6,1][3,8,2,4]
[5,7,6,2][1,4,8,3]
[5,7,6,2][3,1,8,4]
[5,7,6,2][4,3,1,8]
[5,7,6,3][1,2,4,8]
[5,8,1,6][2,3,4,7]
[5,8,2,3][6,4,7,1]
[5,8,2,3][6,7,1,4]
[5,8,2,4][6,3,1,7]
[5,8,3,2][7,6,1,4]
[5,8,4,1][6,7,3,2]
[5,8,4,1][7,6,2,3]
[5,8,4,2][6,1,7,3]
[5,8,4,3][1,7,2,6]
[5,8,4,3][2,6,1,7]
[5,8,6,1][2,4,7,3]
[5,8,6,2][1,3,4,7]
[6,1,2,7][8,5,4,3]
[6,1,2,8][5,4,7,3]
[6,1,3,7][5,4,8,2]
[6,1,3,8][2,5,7,4]
[6,1,3,8][4,2,7,5]
[6,1,3,8][5,2,4,7]
[6,1,4,5][7,8,3,2]
[6,1,4,5][8,7,2,3]
[6,1,4,7][2,5,8,3]
[6,1,5,4][8,7,3,2]
[6,1,5,7][2,4,3,8]
[6,1,5,7][3,2,4,8]
[6,1,7,3][5,8,4,2]
[6,1,7,4][2,8,5,3]
[6,1,7,4][3,5,8,2]
[6,1,7,4][3,8,2,5]
[6,1,7,4][5,2,8,3]
[6,1,7,5][3,4,2,8]
[6,1,7,5][4,2,3,8]
[6,1,8,3][4,7,2,5]
[6,1,8,4][3,2,7,5]
[6,2,1,8][4,7,5,3]
[6,2,1,8][7,3,4,5]
[6,2,3,5][7,8,4,1]
[6,2,3,7][5,1,8,4]
[6,2,3,8][1,5,4,7]
[6,2,5,4][7,3,8,1]
[6,2,7,3][4,8,1,5]
[6,2,7,4][1,5,8,3]
[6,2,7,5][1,3,4,8]
[6,2,8,3][1,7,5,4]
[6,2,8,4][1,3,5,7]
[6,3,1,7][4,8,5,2]
[6,3,1,7][5,8,2,4]
[6,3,1,7][8,2,5,4]
[6,3,1,8][2,7,5,4]
[6,3,1,8][5,4,2,7]
[6,3,2,5][8,7,4,1]
[6,3,2,8][1,4,7,5]
[6,3,4,5][2,7,8,1]
[6,3,4,5][8,1,2,7]
[6,3,4,7][1,2,5,8]
[6,3,5,4][2,8,7,1]
[6,3,5,4][8,2,1,7]
[6,3,7,2][5,4,8,1]
[6,3,7,2][8,1,5,4]
[6,3,7,4][1,2,8,5]
[6,3,7,4][1,5,2,8]
[6,3,8,2][5,1,7,4]
[6,3,8,2][5,4,1,7]
[6,4,1,7][2,8,5,3]
[6,4,1,7][3,5,8,2]
[6,4,1,7][3,8,2,5]
[6,4,1,7][5,2,8,3]
[6,4,1,8][2,3,7,5]
[6,4,1,8][2,5,3,7]
[6,4,2,7][3,5,1,8]
[6,4,2,7][5,1,3,8]
[6,4,3,5][2,8,7,1]
[6,4,3,5][8,2,1,7]
[6,4,3,7][2,1,5,8]
[6,4,5,2][8,7,1,3]
[6,4,5,3][7,1,8,2]
[6,4,7,1][5,8,2,3]
[6,4,7,1][8,2,5,3]
[6,4,7,2][5,1,8,3]
[6,4,7,3][2,5,1,8]
[6,4,8,1][3,5,7,2]
[6,4,8,1][5,2,7,3]
[6,4,8,2][3,1,7,5]
[6,5,1,7][3,2,8,4]
[6,5,2,4][7,8,1,3]
[6,5,2,7][1,4,3,8]
[6,5,3,4][7,1,8,2]
[6,5,4,2][7,8,3,1]
[6,5,7,1][3,8,2,4]
[6,5,7,2][1,4,8,3]
[6,5,7,2][3,1,8,4]
[6,5,7,2][4,3,1,8]
[6,5,7,3][1,2,4,8]
[6,5,8,1][3,2,7,4]
[6,5,8,1][4,3,2,7]
[6,7,1,4][5,8,2,3]
[6,7,1,4][8,2,5,3]
[6,7,1,5][2,8,3,4]
[6,7,1,5][3,4,8,2]
[6,7,2,4][3,8,1,5]
[6,7,2,5][3,4,1,8]
[6,7,3,2][5,8,4,1]
[6,7,3,2][8,5,1,4]
[6,7,3,4][5,1,2,8]
[6,7,3,5][1,2,4,8]
[6,7,4,1][8,5,2,3]
[6,7,4,3][5,2,1,8]
[6,7,5,1][3,8,4,2]
[6,7,5,3][1,4,2,8]
[6,8,1,3][7,5,4,2]
[6,8,1,5][2,3,7,4]
[6,8,1,5][3,4,2,7]
[6,8,1,5][4,2,3,7]
[6,8,2,3][7,1,5,4]
[6,8,2,4][1,5,7,3]
[6,8,2,4][1,7,3,5]
[6,8,2,4][3,5,1,7]
[6,8,2,4][5,1,3,7]
[6,8,3,2][4,5,7,1]
[6,8,3,4][2,1,5,7]
[6,8,4,1][7,2,5,3]
[6,8,4,2][1,7,5,3]
[6,8,4,2][5,3,1,7]
[6,8,4,3][1,2,7,5]
[6,8,5,1][2,7,3,4]
[6,8,5,1][4,2,7,3]
[6,8,5,2][3,1,4,7]
[7,1,2,8][3,5,6,4]
[7,1,2,8][3,6,4,5]
[7,1,2,8][4,5,3,6]
[7,1,2,8][5,3,4,6]
[7,1,3,6][8,4,2,5]
[7,1,4,6][2,8,5,3]
[7,1,4,6][3,5,8,2]
[7,1,4,6][3,8,2,5]
[7,1,4,6][5,2,8,3]
[7,1,5,4][6,8,2,3]
[7,1,5,4][8,3,6,2]
[7,1,5,6][2,3,8,4]
[7,1,5,6][4,3,2,8]
[7,1,6,3][8,4,5,2]
[7,1,6,4][5,3,8,2]
[7,1,6,5][3,2,8,4]
[7,1,8,2][5,6,4,3]
[7,1,8,2][6,4,5,3]
[7,1,8,2][6,5,3,4]
[7,1,8,3][2,6,5,4]
[7,1,8,3][5,2,4,6]
[7,2,1,8][3,6,5,4]
[7,2,1,8][5,4,3,6]
[7,2,4,5][3,6,8,1]
[7,2,4,5][8,1,3,6]
[7,2,4,6][1,5,8,3]
[7,2,5,3][6,8,4,1]
[7,2,5,3][8,4,6,1]
[7,2,5,6][1,4,3,8]
[7,2,6,3][5,4,8,1]
[7,2,6,3][8,1,5,4]
[7,2,6,5][3,1,4,8]
[7,2,8,3][1,4,6,5]
[7,2,8,3][1,5,4,6]
[7,3,1,6][8,5,2,4]
[7,3,1,8][2,4,6,5]
[7,3,1,8][2,5,4,6]
[7,3,2,5][8,6,1,4]
[7,3,2,6][4,8,1,5]
[7,3,4,5][1,6,8,2]
[7,3,4,5][2,8,1,6]
[7,3,4,5][6,2,1,8]
[7,3,4,6][1,2,8,5]
[7,3,4,6][1,5,2,8]
[7,3,5,2][8,6,4,1]
[7,3,6,2][4,8,5,1]
[7,3,6,2][8,4,1,5]
[7,3,6,4][2,5,1,8]
[7,3,8,1][6,2,5,4]
[7,3,8,2][1,5,6,4]
[7,3,8,2][1,6,4,5]
[7,3,8,2][4,1,5,6]
[7,4,1,5][8,6,2,3]
[7,4,1,6][3,8,5,2]
[7,4,2,5][3,8,6,1]
[7,4,2,5][8,3,1,6]
[7,4,3,6][2,1,8,5]
[7,4,5,3][2,6,8,1]
[7,4,6,1][8,3,5,2]
[7,4,6,2][3,5,8,1]
[7,4,6,3][5,1,2,8]
[7,4,8,1][2,6,3,5]
[7,4,8,1][3,5,2,6]
[7,5,1,6][4,2,8,3]
[7,5,2,6][1,3,8,4]
[7,5,2,6][4,1,3,8]
[7,5,3,4][2,6,8,1]
[7,5,4,2][6,8,1,3]
[7,5,6,1][3,8,4,2]
[7,5,6,3][1,4,2,8]
[7,6,1,4][5,8,3,2]
[7,6,1,5][2,8,4,3]
[7,6,1,5][4,3,8,2]
[7,6,2,3][5,8,4,1]
[7,6,2,3][8,5,1,4]
[7,6,2,4][3,5,8,1]
[7,6,2,5][1,4,8,3]
[7,6,2,5][3,1,8,4]
[7,6,2,5][4,3,1,8]
[7,6,3,4][5,2,1,8]
[7,6,3,5][2,1,4,8]
[7,6,4,1][8,5,3,2]
[7,6,4,2][5,3,8,1]
[7,6,4,2][8,1,3,5]
[7,6,4,3][1,5,8,2]
[7,6,4,3][1,8,2,5]
[7,6,5,1][4,8,2,3]
[7,6,5,2][1,8,3,4]
[7,6,5,2][4,1,8,3]
[7,8,1,3][6,5,2,4]
[7,8,1,4][2,5,6,3]
[7,8,1,4][5,2,3,6]
[7,8,2,3][4,5,1,6]
[7,8,2,3][5,1,6,4]
[7,8,2,4][1,3,6,5]
[7,8,3,1][6,5,4,2]
[7,8,3,2][5,4,1,6]
[7,8,3,2][6,1,4,5]
[7,8,4,1][3,5,6,2]
[7,8,4,1][5,2,6,3]
[7,8,4,1][6,2,3,5]
[7,8,4,2][3,1,6,5]
[7,8,5,1][2,3,6,4]
[8,1,2,7][4,5,6,3]
[8,1,2,7][6,3,4,5]
[8,1,3,5][7,6,4,2]
[8,1,3,6][4,5,7,2]
[8,1,3,6][7,2,4,5]
[8,1,3,7][4,2,5,6]
[8,1,4,6][5,2,3,7]
[8,1,5,4][6,3,7,2]
[8,1,5,4][7,2,6,3]
[8,1,6,5][2,3,4,7]
[8,1,7,3][5,2,6,4]
[8,1,7,3][5,4,2,6]
[8,1,7,4][2,3,5,6]
[8,2,1,7][4,6,5,3]
[8,2,1,7][5,4,6,3]
[8,2,1,7][6,3,5,4]
[8,2,1,7][6,4,3,5]
[8,2,3,5][4,6,7,1]
[8,2,3,6][4,5,1,7]
[8,2,4,5][3,7,1,6]
[8,2,4,6][1,3,7,5]
[8,2,4,6][1,5,3,7]
[8,2,4,6][3,1,5,7]
[8,2,5,3][6,4,7,1]
[8,2,5,3][6,7,1,4]
[8,2,5,4][6,3,1,7]
[8,2,6,4][3,1,7,5]
[8,2,7,3][1,5,6,4]
[8,2,7,3][1,6,4,5]
[8,2,7,3][4,1,5,6]
[8,3,1,6][4,7,5,2]
[8,3,1,6][5,7,2,4]
[8,3,1,6][7,4,2,5]
[8,3,1,7][2,6,5,4]
[8,3,1,7][5,2,4,6]
[8,3,2,5][4,7,6,1]
[8,3,2,6][5,1,7,4]
[8,3,2,6][5,4,1,7]
[8,3,2,7][1,4,5,6]
[8,3,5,2][7,4,6,1]
[8,3,5,4][1,7,2,6]
[8,3,5,4][2,6,1,7]
[8,3,6,2][7,1,5,4]
[8,3,6,4][1,2,5,7]
[8,3,7,1][4,6,5,2]
[8,3,7,1][5,4,6,2]
[8,3,7,1][5,6,2,4]
[8,3,7,2][5,1,4,6]
[8,4,1,5][7,3,6,2]
[8,4,1,6][2,7,5,3]
[8,4,1,6][3,7,2,5]
[8,4,1,7][2,3,5,6]
[8,4,2,5][7,1,3,6]
[8,4,2,6][3,1,7,5]
[8,4,3,5][1,7,2,6]
[8,4,3,5][2,6,1,7]
[8,4,5,2][3,7,6,1]
[8,4,5,2][7,1,6,3]
[8,4,5,3][2,7,1,6]
[8,4,6,1][7,2,5,3]
[8,4,6,2][1,7,5,3]
[8,4,6,2][5,3,1,7]
[8,4,6,3][1,2,7,5]
[8,4,7,1][2,6,5,3]
[8,4,7,1][3,6,2,5]
[8,4,7,1][5,3,2,6]
[8,4,7,2][1,3,6,5]
[8,5,1,4][6,7,3,2]
[8,5,1,4][7,6,2,3]
[8,5,1,6][2,3,7,4]
[8,5,1,6][3,4,2,7]
[8,5,1,6][4,2,3,7]
[8,5,2,3][6,7,4,1]
[8,5,2,4][3,6,7,1]
[8,5,2,4][7,3,1,6]
[8,5,3,2][7,6,4,1]
[8,5,3,4][2,7,1,6]
[8,5,4,3][1,6,7,2]
[8,5,4,3][6,1,2,7]
[8,5,6,1][2,7,4,3]
[8,5,6,1][3,4,7,2]
[8,5,6,2][1,3,7,4]
[8,5,7,1][2,4,3,6]
[8,5,7,1][3,2,4,6]
[8,6,1,4][7,3,2,5]
[8,6,1,5][2,4,7,3]
[8,6,2,3][5,4,7,1]
[8,6,2,3][5,7,1,4]
[8,6,2,3][7,4,1,5]
[8,6,2,4][1,7,5,3]
[8,6,2,4][5,3,1,7]
[8,6,2,5][1,4,3,7]
[8,6,3,2][4,7,5,1]
[8,6,3,4][1,5,2,7]
[8,6,3,4][2,1,7,5]
[8,6,4,1][5,7,3,2]
[8,6,4,1][7,3,5,2]
[8,6,4,2][3,7,1,5]
[8,6,4,2][5,1,7,3]
[8,6,5,1][3,7,2,4]
[8,6,5,1][4,3,7,2]
[8,6,5,2][4,1,3,7]
[8,7,1,3][5,6,4,2]
[8,7,1,3][6,4,5,2]
[8,7,1,4][2,6,5,3]
[8,7,1,4][3,6,2,5]
[8,7,1,4][5,3,2,6]
[8,7,2,3][5,4,1,6]
[8,7,2,3][6,1,4,5]
[8,7,2,4][1,5,3,6]
[8,7,2,4][3,1,5,6]
[8,7,3,2][4,6,1,5]
[8,7,3,2][6,1,5,4]
[8,7,4,1][3,6,5,2]
[8,7,4,1][6,3,2,5]
[8,7,4,2][1,6,3,5]
[8,7,5,1][3,2,6,4]
[8,7,5,1][3,4,2,6]
[8,7,5,1][4,2,3,6]

https://ideone.com/hDqII5

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