Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
empty( q([],[]) ). enque( X , q(F,B) , q(F, [X|B] ) ). deque( q( [] , Bs ) , F , q(Fs,[]) ) :- reverse( Bs, [F|Fs] ). deque( q( [F|Fs] , Bs ) , F , q(Fs,Bs) ). run_example :- empty( Q0 ) , writeln( queue : Q0 ) , enque( 1 , Q0 , Q1 ) , writeln( enque : Q1 ) , enque( 2 , Q1 , Q2 ) , writeln( enque : Q2 ) , enque( 3 , Q2 , Q3 ) , writeln( enque : Q3 ) , enque( 4 , Q3 , Q4 ) , writeln( enque : Q4 ) , deque( Q4 , X1 , Q5 ) , writeln( deque : x(X1) : Q5 ) , enque( 5 , Q5 , Q6 ) , writeln( enque : Q6 ) , enque( 6 , Q6 , Q7 ) , writeln( enque : Q7 ) , deque( Q7 , X2 , Q8 ) , writeln( deque : x(X2) : Q8 ) , deque( Q8 , X3 , Q9 ) , writeln( deque : x(X3) : Q9 ) , deque( Q9 , X4 , Q10 ) , writeln( deque : x(X4) : Q10 ) , deque( Q10 , X5 , Q11 ) , writeln( deque : x(X5) : Q11 ) , deque( Q11 , X6 , Q12 ) , writeln( deque : x(X6) : Q12 ) , empty( Q12 ) .