prolog

737 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Backtracking in Prolog
user_126837180
•
2
1
474
backtracking prolog logic
Is pure Prolog Turing-complete, and if so, why can't it implement list intersection?
user_19371970
•
4
3
959
logical-purity logic-programming prolog turing-complete turing-machines
Is there any difference between an N-ary function in Curry and an N+1-ary relation in Prolog?
user_19371970
•
2
2
112
curry lambda-prolog logic-programming prolog functional-programming
Check if list is Flattened or not in Prolog
user_70245990
•
2
2
153
prolog
How to resolve this type error in my Prolog code for generating the Collatz Sequence?
user_117237070
•
3
0
82
collatz prolog recursion
If you write a compiler in pure Prolog, will it work as a decompiler also?
user_19371970
•
2
2
357
prolog decompiler decompiling
Prolog Recursive Pancake Sorting
user_69337870
•
2
3
174
prolog logic recursion list sorting
Do modern Prolog compilers optimize away the occurs check automatically, when it's safe?
user_19371970
•
2
3
168
occurs-check unification compiler-optimization prolog compilation
How to draw right triangle using recursion in prolog?
user_136016200
•
5
1
156
prolog recursion
Finding the length of lists within a list in Prolog
user_148183840
•
2
2
185
prolog list
Hot Questions