このディレクトリの索引
#  お題:ふたつの自然数の公約数をすべて求める。

'ふたつの自然数の公約数をすべて求める。'(_ひとつめの自然数,_ふたつ目の自然数) :-
        _ひとつめの自然数 > _ふたつ目の自然数,
        'ふたつの自然数の公約数をすべて求める。'(_ふたつ目の自然数,_ひとつめの自然数).
'ふたつの自然数の公約数をすべて求める。'(_ひとつめの自然数,_ふたつ目の自然数) :-
        forall((between(1,_ひとつめの自然数,_公約数),0 is _ひとつめの自然数 mod _公約数,0 is _ふたつ目の自然数 mod _公約数),writef('%t ',[_公約数])).