Question

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

score 153 · Answer 1 · 2023-10-08T16:23:33.297000

153

Views

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

Published on 08 October 2023 at 16:23

score 205 · Answer 2 · 2023-08-28T21:20:14.933000

205

Views

Is this the smallest Prolog program whose halting is unknown?

Published on 28 August 2023 at 21:20

score 26 · Answer 3 · 2023-08-08T11:26:45.277000

26

Views

Is it possible to optimize the lexicographic successor function?

Published on 08 August 2023 at 11:26

score 56 · Answer 4 · 2023-08-02T21:55:26.113000

56

Views

Prolog: plus in gnu prolog?

Published on 02 August 2023 at 21:55

score 159 · Answer 5 · 2022-12-26T18:47:34.197000

159

Views

Composition of substitutions for unary addition in prolog?

Published on 26 December 2022 at 18:47

score 97 · Answer 6 · 2022-11-09T15:17:25.923000

97

Views

Prolog: making a 4-argument add function

Published on 09 November 2022 at 15:17

score 93 · Answer 7 · 2022-06-23T00:15:07.760000

93

Views

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

Published on 23 June 2022 at 00:15

score 300 · Answer 8 · 2022-04-20T19:11:24.510000

300

Views

Prolog power of 2 recursion

Published on 20 April 2022 at 19:11

score 70 · Answer 9 · 2021-08-26T05:57:37.747000

70

Views

Can you please help me with this series in Python?

Published on 26 August 2021 at 05:57

score 384 · Answer 10 · 2021-08-21T14:24:49.810000

384

Views

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

Published on 21 August 2021 at 14:24

score 347 · Answer 11 · 2021-08-19T15:07:26.537000

347

Views

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

Published on 19 August 2021 at 15:07

score 133 · Answer 12 · 2021-08-04T16:49:52.677000

133

Views

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

Published on 04 August 2021 at 16:49

score 168 · Answer 13 · 2021-07-30T16:48:06.053000

168

Views

How to fix this recursive addition?

Published on 30 July 2021 at 16:48

score 127 · Answer 14 · 2021-07-13T12:22:57.970000

127

Views

Recursion on Prolog

Published on 13 July 2021 at 12:22

score 170 · Answer 15 · 2021-05-03T02:58:53.150000

170

Views

prolog predicate that adds 2 numbers in successive notation and getting the result in Z also in successive notation

Published on 03 May 2021 at 02:58

score 82 · Answer 16 · 2021-03-19T18:26:44.253000

82

Views

prolog unary numbers - evaluating expression

Published on 19 March 2021 at 18:26

score 48 · Answer 17 · 2021-03-08T22:55:59.023000

48

Views

Prolog: Recusive successor defined natural number multiply predicate does not terminate

Published on 08 March 2021 at 22:55

score 197 · Answer 18 · 2020-12-24T13:57:38.190000

197

Views

`less/2` relation in Peano arithmetic

Published on 24 December 2020 at 13:57

score 215 · Answer 19 · 2020-12-23T16:11:13.143000

215

Views

Pure Prolog Peano Number Apartness

Published on 23 December 2020 at 16:11

score 301 · Answer 20 · 2020-09-12T09:42:51.943000

301

Views

Recursive succ addition in Prolog

Published on 12 September 2020 at 09:42

List Question

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

Is this the smallest Prolog program whose halting is unknown?

Is it possible to optimize the lexicographic successor function?

Prolog: plus in gnu prolog?

Composition of substitutions for unary addition in prolog?

Prolog: making a 4-argument add function

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

Prolog power of 2 recursion

Can you please help me with this series in Python?

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?

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

How to fix this recursive addition?

Recursion on Prolog

prolog predicate that adds 2 numbers in successive notation and getting the result in Z also in successive notation

prolog unary numbers - evaluating expression

Prolog: Recusive successor defined natural number multiply predicate does not terminate

`less/2` relation in Peano arithmetic

Pure Prolog Peano Number Apartness

Recursive succ addition in Prolog

Trending Questions

Popular # Hahtags

Popular Questions