Question

Is this the smallest Prolog program whose halting is unknown?

score 205 · Answer 1 · 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 296 · Answer 2 · 2022-10-07T07:02:06.743000

296

Views

Better pure version of same_length/2

Published on 07 October 2022 at 07:02

score 168 · Answer 3 · 2022-04-04T16:30:50.110000

168

Views

What minimal change to my code would make it preserve logical purity?

Published on 04 April 2022 at 16:30

score 185 · Answer 4 · 2022-03-17T05:46:22.470000

185

Views

Delete from a list the non-duplicated items

Published on 17 March 2022 at 05:46

score 332 · Answer 5 · 2021-08-22T22:02:46.863000

332

Views

How to implement list item deletion for all argument modes?

Published on 22 August 2021 at 22:02

score 354 · Answer 6 · 2021-01-01T19:21:15.727000

354

Views

Proper unify_with_occurs_check/2 in SWI-Prolog?

Published on 01 January 2021 at 19:21

score 518 · Answer 7 · 2020-12-25T08:48:41.817000

518

Views

Pure Prolog Scheme Quine

Published on 25 December 2020 at 08:48

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

197

Views

`less/2` relation in Peano arithmetic

Published on 24 December 2020 at 13:57

score 47 · Answer 9 · 2020-12-24T00:17:13.753000

47

Views

Pure Prolog δλ-Calculus Equality

Published on 24 December 2020 at 00:17

score 83 · Answer 10 · 2020-12-23T16:37:54.100000

83

Views

Pure Prolog Peano List Intersection

Published on 23 December 2020 at 16:37

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

215

Views

Pure Prolog Peano Number Apartness

Published on 23 December 2020 at 16:11

score 219 · Answer 12 · 2020-12-23T14:32:34.870000

219

Views

Pure Prolog Meta-Interpreter with one Rule

Published on 23 December 2020 at 14:32

score 741 · Answer 13 · 2020-12-23T14:19:32.597000

741

Views

Is "almost pure" Prolog expressive?

Published on 23 December 2020 at 14:19

score 69 · Answer 14 · 2020-12-22T11:30:46.167000

69

Views

How does unify predicate (=)/2 differ from first order equality?

Published on 22 December 2020 at 11:30

score 364 · Answer 15 · 2020-12-21T01:54:39.747000

364

Views

NU-Prolog's and Gödel's logical and sound `if-then-else` extension

Published on 21 December 2020 at 01:54

score 1.5k · Answer 16 · 2020-12-18T03:45:44.433000

1.5k

Views

Is pure Prolog Turing-complete, and if so, why can't it implement list intersection?

Published on 18 December 2020 at 03:45

score 377 · Answer 17 · 2020-02-18T19:48:14.973000

377

Views

Use of redundant goals in queries

Published on 18 February 2020 at 19:48

score 283 · Answer 18 · 2019-03-28T18:01:13.233000

283

Views

Goal expansion for an `if_/3` operator in Prolog

Published on 28 March 2019 at 18:01

score 786 · Answer 19 · 2019-01-27T21:51:08.983000

786

Views

Doubly Linked List in Prolog

Published on 27 January 2019 at 21:51

score 940 · Answer 20 · 2018-10-31T16:30:06.407000

940

Views

Prolog if-then-else constructs: -> vs *-> vs. if_/3

Published on 31 October 2018 at 16:30

List Question

Is this the smallest Prolog program whose halting is unknown?

Better pure version of same_length/2

What minimal change to my code would make it preserve logical purity?

Delete from a list the non-duplicated items

How to implement list item deletion for all argument modes?

Proper unify_with_occurs_check/2 in SWI-Prolog?

Pure Prolog Scheme Quine

`less/2` relation in Peano arithmetic

Pure Prolog δλ-Calculus Equality

Pure Prolog Peano List Intersection

Pure Prolog Peano Number Apartness

Pure Prolog Meta-Interpreter with one Rule

Is "almost pure" Prolog expressive?

How does unify predicate (=)/2 differ from first order equality?

NU-Prolog's and Gödel's logical and sound `if-then-else` extension

Is pure Prolog Turing-complete, and if so, why can't it implement list intersection?

Use of redundant goals in queries

Goal expansion for an `if_/3` operator in Prolog

Doubly Linked List in Prolog

Prolog if-then-else constructs: -> vs *-> vs. if_/3

Trending Questions

Popular # Hahtags

Popular Questions