StackOverflow Questions for Tag: successor-arithmetics

Pietro Braione

Reputation: 1153

What's the SLD tree for this query?

prologsuccessor-arithmeticsprolog-cut

Score: 4

Answers: 3

Carpediem

Reputation: 41

Composition of substitutions for unary addition in prolog?

prologsuccessor-arithmetics

Score: 0

Answers: 2

ggplot2

Reputation: 51

Prolog recursion using s(0) and p(0)

recursionprologsuccessor-arithmetics

Score: 0

Answers: 1

Lewis Baxter

Reputation: 101

Is this the smallest Prolog program whose halting is unknown?

prologsuccessor-arithmeticslogical-purity

Score: 1

Answers: 2

shaungus

Reputation: 129

Convert peano number s(N) to integer in Prolog

prologclpfdsuccessor-arithmetics

Score: 8

Answers: 4

Peter Krauss

Reputation: 13982

Is it possible to optimize the lexicographic successor function?

postgresqlsuccessor-arithmetics

Score: 1

Answers: 0

notaorb

Reputation: 2190

Prolog: plus in gnu prolog?

prologsuccessor-arithmetics

Score: 1

Answers: 1

user502187

Reputation:

Pure Prolog Peano Number Apartness

prologsuccessor-arithmeticslogical-purity

Score: 3

Answers: 3

boonatamotua

Reputation: 1

Prolog: making a 4-argument add function

recursionprologsuccessor-arithmetics

Score: 0

Answers: 1

kaiseroskilo

Reputation: 1729

Sum of a list in prolog

prologsuccessor-arithmetics

Score: 4

Answers: 3

M.K

Reputation: 189

Keep getting the error message "Arguments are not sufficiently instantiated" can't understand why

exceptionrecursionprologsuccessor-arithmeticsinstantiation-error

Score: 3

Answers: 2

Pietro Braione

Reputation: 1153

What are the optimal green cuts for successor arithmetics sum?

prologswi-prologsuccessor-arithmeticsprolog-cut

Score: 6

Answers: 1

Manux

Reputation: 3713

Reversible tree length relation

prologclpfdfailure-slicesuccessor-arithmetics

Score: 5

Answers: 2

RHK-S8

Reputation: 329

Can someone explain how to do unification to get the answer in a definite clause grammar?

prologdcgsuccessor-arithmetics

Score: 1

Answers: 2

Huzo

Reputation: 1692

Finding whether a number is a multiple of another

prologfailure-slicesuccessor-arithmetics

Score: 2

Answers: 1

Géry Ogam

Reputation: 8087

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

prologadditionterminationsuccessor-arithmetics

Score: 3

Answers: 1

vbcod

Reputation: 23

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

prologsuccessor-arithmetics

Score: 1

Answers: 1

Infernoj

Reputation: 1

Prolog power of 2 recursion

prologsuccessor-arithmetics

Score: 0

Answers: 2

Noisie

Reputation: 71

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

prologsuccessor-arithmetics

Score: 0

Answers: 2

WheelPot

Reputation: 307

Prolog, check divisibility in Peano arithmetic

prologmultiplicationsuccessor-arithmetics

Score: 0

Answers: 1

PreviousPage 1Next

StackOverflow Questions for Tag: successor-arithmetics

What&#39;s the SLD tree for this query?

Composition of substitutions for unary addition in prolog?

Prolog recursion using s(0) and p(0)

Is this the smallest Prolog program whose halting is unknown?

Convert peano number s(N) to integer in Prolog

Is it possible to optimize the lexicographic successor function?

Prolog: plus in gnu prolog?

Pure Prolog Peano Number Apartness

Prolog: making a 4-argument add function

Sum of a list in prolog

Keep getting the error message &quot;Arguments are not sufficiently instantiated&quot; can&#39;t understand why

What are the optimal green cuts for successor arithmetics sum?

Reversible tree length relation

Can someone explain how to do unification to get the answer in a definite clause grammar?

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

Prolog power of 2 recursion

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

Prolog, check divisibility in Peano arithmetic

What's the SLD tree for this query?

Keep getting the error message "Arguments are not sufficiently instantiated" can't understand why