このディレクトリの索引
http://hibari.2ch.net/test/read.cgi/tech/1288531658/781
#  こんにちは。基礎クラスで恐縮ですがよろしくお願いします。 
#  [1] 授業単元: C基礎 
#  [2] 問題文(含コード&リンク):   
#  問題1 int型変数 i , j が -10 < i <10 , -20 < j < 20 を満たすとする。 
#  11*i   +  7*j がちょうど1となるi , jの組み合わせを全て求めるプログラムを作成せよ。 
#   

'変数 i , j が -10 < i < 10 , -20 < j < 20 を満たすとする。  11*i + 7*j がちょうど1となるi , jの組み合わせを全て求める'(_i,_j) :-
        findall([_i,_j],(
                            for(-10,_i,10),
                            \+(_i = -10),
                            \+(_i = 10),
                            for(-20,_j,20),
                            \+(_j = -20),
                            \+(_j = 20),
                            1 is 11 * _i + 7 * _j),
                 L),
        append(_,[[_i,_j]|_],L).