Alex Rivera | Logout

Questions tagged successor-arithmetics

1 question

Sort by: Newest Votes Active
8
votes
4
answers

Convert peano number s(N) to integer in Prolog

prolog clpfd successor-arithmetics
asked 2012-01-21T16:06:39.360