What's the SLD tree for this query?...

Composition of substitutions for unary addition in prolog?...

Pure Prolog Peano Number Apartness...

Sum of a list in prolog...

Keep getting the error message "Arguments are not sufficiently instantiated" can't und...

What are the optimal green cuts for successor arithmetics sum?...

Finding whether a number is a multiple of another...

Should the first and second arguments be swapped in a rule defining addition?...

Prolog function count and member by using natural numbers and it succesor...

how to turn a number from the unit form into an integer in prolog?...

How can I rewrite "+ 1" (plus one) to "S" (succ) in Coq?...

how to stop prolog from examining impossible solutions infinitely?...

How to implement the Fibonacci sequence in successor arithmetics for all argument modes?...

How to implement the factorial sequence in successor arithmetics for all argument modes?...

Can you please help me with this series in Python?...

How to fix this recursive addition?...

Recursion on Prolog...

Return Integer with Prolog...

`less/2` relation in Peano arithmetic...

Prolog predicate to multiply two lists (representing unary numbers)...

Prolog peano numbers difference/subtraction...

Trying to write a tree-height predicate - do I need Peano-style natural numbers?...

Successor Arithmetic Prolog Mod function...

prolog - infinite rule...

(SWI-PL) I can't figure out how to create a prolog rule to match this particular type of input...

Lists size multiplication...

Prolog first integer exactly 1 greater than second integer...

How to know if a Peano number is even...

Get product of the list items by using recursion in Prolog?...

How to implement Peano numbers exponentiation in Prolog?...