このディレクトリの索引
http://hibari.2ch.net/test/read.cgi/tech/1286978599/983
#  [1] 授業単元:プログラミング演習  
#  [2] 問題文(含コード&リンク)  
#  count をもつqueue(待ち行列)を実現せよ。 
#  

'count をもつqueue(待ち行列)を実現' :- true.

'New'([[]|X]-X).
'Enqueue'(_要素,[L|X]-[_要素|Y],[[_|L]|X]-Y,Count) :- length([_|L],Count).
'Dequeue'(_要素,[[_|L],_要素|X]-Y,[L|X]-Y,Count) :- length(L,Count).
'Empty'([[]|X]-Y) :- X == Y.