Question

What are the (perceived) shortcomings of the ISO standard for Prolog modules (ISO/IEC 13211-2)?

score 210 · Answer 1 · 2024-02-02T09:27:23.207000

210

Views

What are the (perceived) shortcomings of the ISO standard for Prolog modules (ISO/IEC 13211-2)?

Published on 02 February 2024 at 09:27

score 285 · Answer 2 · 2024-01-09T15:03:02.723000

285

Views

How to identify valid bodies and convertible terms

Published on 09 January 2024 at 15:03

score 166 · Answer 3 · 2023-12-06T20:33:21.873000

166

Views

Is there any plan to standardize the Quintus/SICStus style module system in ISO Prolog?

Published on 06 December 2023 at 20:33

score 43 · Answer 4 · 2023-06-28T10:54:49.983000

43

Views

Exception for "effect of operation is undefined"

Published on 28 June 2023 at 10:54

score 168 · Answer 5 · 2022-11-29T02:11:52.400000

168

Views

Why does prolog use =< and not <=?

Published on 29 November 2022 at 02:11

score 52 · Answer 6 · 2022-10-28T17:39:50.617000

52

Views

How to emulate ulp/1 evaluable function in Prolog

Published on 28 October 2022 at 17:39

score 211 · Answer 7 · 2022-08-29T20:56:17.170000

211

Views

at_end_of_stream on stdin in Prolog

Published on 29 August 2022 at 20:56

score 79 · Answer 8 · 2022-08-29T15:33:29.527000

79

Views

Peeking past end-of-file with SICStus Prolog

Published on 29 August 2022 at 15:33

score 181 · Answer 9 · 2022-08-26T11:51:45.907000

181

Views

End_of_stream property after opening empty file

Published on 26 August 2022 at 11:51

score 368 · Answer 10 · 2021-12-05T20:43:44.767000

368

Views

Space-efficient reading of chars in canonical form

Published on 05 December 2021 at 20:43

score 145 · Answer 11 · 2021-08-07T13:01:27.043000

145

Views

Safe sorting of terms

Published on 07 August 2021 at 13:01

score 117 · Answer 12 · 2021-04-19T12:39:40.530000

117

Views

What is the right error for corner cases of datetime conversion?

Published on 19 April 2021 at 12:39

score 79 · Answer 13 · 2020-11-07T20:57:28.937000

79

Views

Is !/0 supposed to cut through (\+)/1 or not?

Published on 07 November 2020 at 20:57

score 193 · Answer 14 · 2020-08-09T10:58:34.787000

193

Views

Proper handling of denormal floats in ISO-Prolog

Published on 09 August 2020 at 10:58

score 142 · Answer 15 · 2020-05-15T07:48:46.797000

142

Views

current_predicate in SICStus Prolog

Published on 15 May 2020 at 07:48

score 281 · Answer 16 · 2020-05-10T22:04:09.710000

281

Views

Get index of a Term's argument in Prolog

Published on 10 May 2020 at 22:04

score 69 · Answer 17 · 2020-05-04T20:23:43.493000

69

Views

What are legitimate / proper System Errors in ISO-Prolog?

Published on 04 May 2020 at 20:23

score 176 · Answer 18 · 2020-05-02T22:58:05.293000

176

Views

Relational operator symbols in Prolog 3-way comparison

Published on 02 May 2020 at 22:58

score 506 · Answer 19 · 2020-04-03T07:03:00.233000

506

Views

How to sort a list of strings "a", "bcd", "ef", and "ghij" in descending order of length?

Published on 03 April 2020 at 07:03

score 74 · Answer 20 · 2020-02-27T23:38:10.857000

74

Views

Unclear phrase in the definition of retract/1

Published on 27 February 2020 at 23:38

List Question

What are the (perceived) shortcomings of the ISO standard for Prolog modules (ISO/IEC 13211-2)?

How to identify valid bodies and convertible terms

Is there any plan to standardize the Quintus/SICStus style module system in ISO Prolog?

Exception for "effect of operation is undefined"

Why does prolog use =< and not <=?

How to emulate ulp/1 evaluable function in Prolog

at_end_of_stream on stdin in Prolog

Peeking past end-of-file with SICStus Prolog

End_of_stream property after opening empty file

Space-efficient reading of chars in canonical form

Safe sorting of terms

What is the right error for corner cases of datetime conversion?

Is !/0 supposed to cut through (\+)/1 or not?

Proper handling of denormal floats in ISO-Prolog

current_predicate in SICStus Prolog

Get index of a Term's argument in Prolog

What are legitimate / proper System Errors in ISO-Prolog?

Relational operator symbols in Prolog 3-way comparison

How to sort a list of strings "a", "bcd", "ef", and "ghij" in descending order of length?

Unclear phrase in the definition of retract/1

Trending Questions

Popular # Hahtags

Popular Questions