使用基于2-AND-NOT的Visual Prolog需要Half和Full加法器的代码

Question

我在视觉序言8上编写代码， 我必须使用真值表编写加法器和半加法器，并使用基础2-AND-NOT 我做的计划： 半加法器

和一个完整的加法器

你有什么想法，如何使这项工作？

Answer 1

在ISO Prolog中，您可以执行以下操作：

{
  "title": "WASD arrow Keys toggled by Capslock",
  "rules": [
    (insert code here)
  ]
}

对我来说很正确：

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.