このディレクトリの索引

% http://pc12.2ch.net/test/read.cgi/tech/1242655611/645
% [1] 授業単元: プログラミング
% [2] 問題文(含コード&リンク):1方向線上リストを使って、スタックを実現せよ。
% ただし、各記憶要素xは整数値をとるものとする。
% 要素xをプッシュするpush(int x)、
% ポップしてその値を返すpop()、
% スタックが空かどうかを判断し真偽値を返すempty()、ならびに
% 現在のスタック内容全体を表示するshow()
% を用意する。

push(X,L,[X|L]).

pop(X,[X|L],L).

empty([]).

show(L) :- write(L).