📅  最后修改于: 2022-03-11 14:44:44.926000             🧑  作者: Mango
代码示例1
halfadd(X, Y, Z, C) :-
Z is X xor Y,
C is X /\ Y.
fulladd(X, Y, C, Z, D) :-
halfadd(X, Y, H, J),
halfadd(H, C, Z, K),
D is J \/ K.