Question

Learn Prolog Now - issues with backtracking in exercise on recursion

score 220 · Answer 1 · 2017-01-03 18:56:37

220

Views

Learn Prolog Now - issues with backtracking in exercise on recursion

Published on 03 January 2017 at 18:56

score 399 · Answer 2 · 2014-11-29 12:23:20

399

Views

Better termination for s(X)-sum

Published on 29 November 2014 at 12:23

score 195 · Answer 3 · 2013-12-05 19:25:43

195

Views

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

Published on 05 December 2013 at 19:25

score 3.1k · Answer 4 · 2012-01-21 16:06:39

3.1k

Views

Convert peano number s(N) to integer in Prolog

Published on 21 January 2012 at 16:06

score 3.9k · Answer 5 · 2014-12-20 17:20:08

3.9k

Views

Multiplying peano integers in swi-prolog

Published on 20 December 2014 at 17:20

score 2.6k · Answer 6 · 2011-10-17 16:50:58

2.6k

Views

Division in prolog

Published on 17 October 2011 at 16:50

score 1k · Answer 7 · 2011-10-26 22:05:42

1k

Views

Prolog addition excercise

Published on 26 October 2011 at 22:05

score 215 · Answer 8 · 2022-04-20 19:11:24

215

Views

Prolog power of 2 recursion

Published on 20 April 2022 at 19:11

score 100 · Answer 9 · 2021-05-03 02:58:53

100

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 116 · Answer 10 · 2018-11-10 22:49:22

116

Views

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

Published on 10 November 2018 at 22:49

score 705 · Answer 11 · 2018-11-15 19:10:03

705

Views

How to know if a Peano number is even

Published on 15 November 2018 at 19:10

score 120 · Answer 12 · 2012-08-17 20:11:04

120

Views

Converting lists whose elements' types are paramertized their type-encoded indexes

Published on 17 August 2012 at 20:11

score 205 · Answer 13 · 2020-08-31 20:30:50

205

Views

Prolog predicate to multiply two lists (representing unary numbers)

Published on 31 August 2020 at 20:30

score 271 · Answer 14 · 2020-09-12 09:42:51

271

Views

Recursive succ addition in Prolog

Published on 12 September 2020 at 09:42

score 718 · Answer 15 · 2018-09-25 14:55:35

718

Views

How to implement Peano numbers exponentiation in Prolog?

Published on 25 September 2018 at 14:55

score 128 · Answer 16 · 2022-12-26 18:47:34

128

Views

Composition of substitutions for unary addition in prolog?

Published on 26 December 2022 at 18:47

score 776 · Answer 17 · 2017-11-29 18:14:35

776

Views

GCD and LCM in prolog

Published on 29 November 2017 at 18:14

score 257 · Answer 18 · 2017-12-01 13:30:33

257

Views

Set a return value in prolog

Published on 01 December 2017 at 13:30

score 2.3k · Answer 19 · 2017-12-01 10:26:10

2.3k

Views

Not Equal Operation in swi-prolog

Published on 01 December 2017 at 10:26

score 65 · Answer 20 · 2022-11-09 15:17:25

65

Views

Prolog: making a 4-argument add function

Published on 09 November 2022 at 15:17

List Question

Learn Prolog Now - issues with backtracking in exercise on recursion

Better termination for s(X)-sum

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

Convert peano number s(N) to integer in Prolog

Multiplying peano integers in swi-prolog

Division in prolog

Prolog addition excercise

Prolog power of 2 recursion

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

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

How to know if a Peano number is even

Converting lists whose elements' types are paramertized their type-encoded indexes

Prolog predicate to multiply two lists (representing unary numbers)

Recursive succ addition in Prolog

How to implement Peano numbers exponentiation in Prolog?

Composition of substitutions for unary addition in prolog?

GCD and LCM in prolog

Set a return value in prolog

Not Equal Operation in swi-prolog

Prolog: making a 4-argument add function

Trending Questions

Popular # Hahtags

Popular Questions