このディレクトリの索引
http://toro.2ch.net/test/read.cgi/tech/1339338438/537
#  [1] 授業単元: C言語  
#  [2] 問題文 
#  半加算回路を模擬する関数を利用して、全加算回路を模擬するプログラムを作成せよ。 
#  

半加算回路(A,B,S,C) :-
        C is A # B,
        S is A /\ B.

全加算回路(A,B,X,S,C) :-
        半加算回路(A,B,S_1,C_1),
        半加算回路(S_1,X,S,C_2),
        C is C_1 \/ C_2.