About Me
// Hello, World !
Top Answers
-
What minimal change to my code would make it preserve logical purity?
5 votes
-
Combinations of multiple lists - Prolog
5 votes
-
How to implement a not_all_equal/1 predicate
4 votes
-
How to implement list item deletion for all argument modes?
4 votes
-
Space-efficient reading of chars in canonical form
3 votes
Top Questions
-
Extending unification, SICStus-style
6 votes1 answers
-
Verify_attributes in SICStus Prolog
4 votes1 answers
-
Is !/0 supposed to cut through (\+)/1 or not?
4 votes1 answers
-
Polymorphic variant --> GADT?
3 votes1 answers
-
Proper handling of denormal floats in ISO-Prolog
3 votes3 answers