このディレクトリの索引
http://toro.2ch.net/test/read.cgi/tech/1339338438/628
#  [1] 授業単元: C言語入門  
#  [2] 問題文  
#  a={1,2,3,4,5,6}およびb={6,5,4,3,2,1}の二つの配列を作成し、二つの差を配列cに入れるプログラムを作成すること  
#   

'a={1,2,3,4,5,6}およびb={6,5,4,3,2,1}の二つの述語を定義し、二つの差を述語cに定義すること' :-
        assertz(a([1,2,3,4,5,6])),
        assertz(b([6,5,4,3,2,1])),
        '二つの差をリストcに入れる'(_a,_b,_c),
        assertz(c(_c)).

'二つの差をリストcに入れる'([],[],[]).
'二つの差をリストcに入れる'([A|R1],[B|R2],[C|R3]) :-
        C is A - B,
        '二つの差をリストcに入れる'(R1,R2,R3).