logic-programming

38 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
What is the most elegant way to find 16-bit numbers which satisfy some conditions?
user_132936140
•
5
5
215
clpb sat logic-programming prolog constraint-programming
Finding all nodes connected to a vertex in Prolog
user_117237070
•
3
2
201
logic-programming path-finding prolog dijkstra optimization
Is "almost pure" Prolog expressive?
user_19371970
•
2
3
624
prolog-dif logical-purity logic-programming prolog programming-languages
NU-Prolog's and Gödel's logical and sound `if-then-else` extension
user_19371970
•
2
2
245
logical-purity logic-programming prolog
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
λProlog rejecting hypothetical reasoning queries?
user_19371970
•
3
2
165
lambda-prolog logic-programming prolog
Symmetry breaking edges of a line graph on a coordinate grid
Ambush_Commander_238450
•
1
1
105
clingo datalog logic-programming
Does Prolog need GC when the occurs check is globally enabled?
user_19371970
•
7
3
275
warren-abstract-machine occurs-check logic-programming swi-prolog prolog
Does HiLog add anything that can not be done with "call" in Prolog?
user_19371970
•
5
3
172
xsb logic-programming prolog
Hot Questions