nat.play.fth

define-node nzero -- value! end
define-node nadd1 prev -- value! end
define-node nadd target! addend -- result end

define-rule nzero nadd
  ( addend result )
  addend result connect
end

define-rule nadd1 nadd
  ( addend result ) ( prev )
  prev addend nadd
  nadd1 result connect
end

nzero nadd1 nadd1
nzero nadd1 nadd1
nadd

define two nzero nadd1 nadd1 end

two two nadd
two two nadd
nadd wire-debug