List Question
20 TechQA 2023-10-08T16:23:33.297000Prolog recursion using s(0) and p(0)
153 views
Asked by ggplot2
Is this the smallest Prolog program whose halting is unknown?
205 views
Asked by Lewis Baxter
Is it possible to optimize the lexicographic successor function?
26 views
Asked by Peter Krauss
Prolog: plus in gnu prolog?
56 views
Asked by notaorb
Composition of substitutions for unary addition in prolog?
159 views
Asked by Carpediem
Prolog: making a 4-argument add function
97 views
Asked by boonatamotua
Prolog function count and member by using natural numbers and it succesor
93 views
Asked by vbcod
Prolog power of 2 recursion
300 views
Asked by Infernoj
Can you please help me with this series in Python?
70 views
Asked by Michelle
How to implement the Fibonacci sequence in successor arithmetics for all argument modes?
384 views
Asked by Géry Ogam
How to implement the factorial sequence in successor arithmetics for all argument modes?
347 views
Asked by Géry Ogam
Should the first and second arguments be swapped in a rule defining addition?
133 views
Asked by Géry Ogam
How to fix this recursive addition?
168 views
Asked by Géry Ogam
Recursion on Prolog
127 views
Asked by Ran suari
prolog predicate that adds 2 numbers in successive notation and getting the result in Z also in successive notation
170 views
Asked by Adham El-sheikh
prolog unary numbers - evaluating expression
82 views
Asked by Toby V.
Prolog: Recusive successor defined natural number multiply predicate does not terminate
48 views
Asked by Elliott Goldstein
`less/2` relation in Peano arithmetic
197 views
Asked by MWB
Pure Prolog Peano Number Apartness
215 views
Asked by AudioBubble
Recursive succ addition in Prolog
301 views
Asked by AudioBubble