Facebook
From Cream Curlew, 5 Months ago, written in Plain Text.
Embed
Download Paste or View Raw
Hits: 114
  1. plus(2,2,4).
  2.  
  3. succ(PredX, 2). -> PredX = 1
  4. plus(1, 2, PredZ).
  5.         succ(PredX, 1). -> PredX = 0
  6.         plus(0, 2, PredZ).
  7.