TechQA.

Question

Is this the smallest Prolog program whose halting is unknown?

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

0

Answer

205

Views

Is this the smallest Prolog program whose halting is unknown?

205 views Asked by Lewis Baxter At 28 August 2023 at 21:20

score 296 · Answer 2 · 2022-10-07T07:02:06.743000

Better pure version of same_length/2

296 views Asked by false At 07 October 2022 at 07:02

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

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

168 views Asked by TessellatingHeckler At 04 April 2022 at 16:30

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

Delete from a list the non-duplicated items

185 views Asked by Sahian Alexandra Mejia Amador At 17 March 2022 at 05:46

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

How to implement list item deletion for all argument modes?

332 views Asked by Géry Ogam At 22 August 2021 at 22:02

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

Proper unify_with_occurs_check/2 in SWI-Prolog?

354 views Asked by AudioBubble At 01 January 2021 at 19:21

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

Pure Prolog Scheme Quine

518 views Asked by AudioBubble At 25 December 2020 at 08:48

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

`less/2` relation in Peano arithmetic

197 views Asked by MWB At 24 December 2020 at 13:57

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

Pure Prolog δλ-Calculus Equality

47 views Asked by AudioBubble At 24 December 2020 at 00:17

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

Pure Prolog Peano List Intersection

83 views Asked by AudioBubble At 23 December 2020 at 16:37

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

Pure Prolog Peano Number Apartness

215 views Asked by AudioBubble At 23 December 2020 at 16:11

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

Pure Prolog Meta-Interpreter with one Rule

219 views Asked by AudioBubble At 23 December 2020 at 14:32

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

Is "almost pure" Prolog expressive?

741 views Asked by MWB At 23 December 2020 at 14:19

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

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

69 views Asked by AudioBubble At 22 December 2020 at 11:30

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

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

364 views Asked by MWB At 21 December 2020 at 01:54

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

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

1.5k views Asked by MWB At 18 December 2020 at 03:45

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

Use of redundant goals in queries

377 views Asked by false At 18 February 2020 at 19:48

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

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

283 views Asked by repeat At 28 March 2019 at 18:01

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

Doubly Linked List in Prolog

786 views Asked by S. Selfial At 27 January 2019 at 21:51

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

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

940 views Asked by SuperDisk At 31 October 2018 at 16:30

TechQA.

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

Popular Questions

Trending Questions