%
% ex5.pl - 例題5: 数値計算を含む場合
%

% 1. は省略

% 2. リストの長さを数える
my_length([], 0).
my_length([_| R], X1) :- my_length(R, X), X1 is X + 1.