List Question
20 TechQA 2024-02-02T09:27:23.207000What are the (perceived) shortcomings of the ISO standard for Prolog modules (ISO/IEC 13211-2)?
210 views
Asked by Marc
How to identify valid bodies and convertible terms
285 views
Asked by false
Is there any plan to standardize the Quintus/SICStus style module system in ISO Prolog?
166 views
Asked by bakaq
Exception for "effect of operation is undefined"
43 views
Asked by repeat
Why does prolog use =< and not <=?
168 views
Asked by Prolog ByExample
How to emulate ulp/1 evaluable function in Prolog
52 views
Asked by Rúben Dias
at_end_of_stream on stdin in Prolog
211 views
Asked by repeat
Peeking past end-of-file with SICStus Prolog
79 views
Asked by repeat
End_of_stream property after opening empty file
181 views
Asked by repeat
Space-efficient reading of chars in canonical form
368 views
Asked by false
Safe sorting of terms
145 views
Asked by false
What is the right error for corner cases of datetime conversion?
117 views
Asked by repeat
Is !/0 supposed to cut through (\+)/1 or not?
79 views
Asked by repeat
Proper handling of denormal floats in ISO-Prolog
193 views
Asked by repeat
current_predicate in SICStus Prolog
142 views
Asked by repeat
Get index of a Term's argument in Prolog
281 views
Asked by dgarciagarcia
What are legitimate / proper System Errors in ISO-Prolog?
69 views
Asked by repeat
Relational operator symbols in Prolog 3-way comparison
176 views
Asked by repeat
How to sort a list of strings "a", "bcd", "ef", and "ghij" in descending order of length?
506 views
Asked by Flux
Unclear phrase in the definition of retract/1
74 views
Asked by repeat