prolog

737 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
How to implement the factorial sequence in successor arithmetics for all argument modes?
user_23269610
•
3
2
260
successor-arithmetics failure-slice factorial termination prolog
How to convert from tuples_in/2 in SWI-Prolog to fd_relation/2 in GNU Prolog?
user_47057220
•
1
1
72
gnu-prolog clpfd swi-prolog prolog
Term expansion before compiling in GNU Prolog
user_16460860
•
3
1
59
gnu-prolog prolog
How to fix this permutation sort?
user_23269610
•
2
2
298
failure-slice termination prolog duplicates sorting
Safe sorting of terms
user_7728680
•
3
1
125
iso-prolog prolog
Should the first and second arguments be swapped in a rule defining addition?
user_23269610
•
3
1
124
successor-arithmetics addition termination prolog
How to fix this list reversal?
user_23269610
•
2
1
124
failure-slice termination prolog reverse list
How to write this DCG more elegantly?
user_44408710
•
3
3
240
prolog dcg
Understanding the implementation of label/5 in clpfd
user_44408710
•
3
1
135
clpfd labeling implementation swi-prolog prolog
Using a Bash Script To Automate Testing of A Prolog File
user_87056670
•
2
1
160
gnu-prolog prolog
Hot Questions