successor-arithmetics

6 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Prolog function count and member by using natural numbers and it succesor
user_149197400
•
1
1
66
successor-arithmetics prolog
How to implement the Fibonacci sequence in successor arithmetics for all argument modes?
user_23269610
•
2
3
319
successor-arithmetics failure-slice termination fibonacci prolog
How to implement the factorial sequence in successor arithmetics for all argument modes?
user_23269610
•
3
2
260
successor-arithmetics failure-slice factorial termination prolog
Should the first and second arguments be swapped in a rule defining addition?
user_23269610
•
3
1
124
successor-arithmetics addition termination prolog
Recursive addition in Prolog with Peano numbers doesn't work
user_58605410
•
3
1
564
successor-arithmetics prolog
Division using Peano numbers
user_42411360
•
4
1
1433
successor-arithmetics prolog
  • 1
Hot Questions