📜  prolog 代码示例中的全加器

📅  最后修改于: 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.