swi-prolog

89 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Exctraction of the Proof from Fitting's leanTap Prolog Prover
user_11213560
•
1
3
104
swi-prolog prolog algorithm
Why does Prolog duplicate all the answers when the number of print directives is more than one?
user_114226100
•
1
3
81
non-interactive swi-prolog prolog duplicates
How might I get all the answers noninteractively without receiving duplicates?
user_114226100
•
1
1
49
non-interactive swi-prolog prolog
Prolog output should match the input of the sat solver
user_124177780
•
1
1
60
sat swi-prolog prolog logic
Creating random CNF formulas prolog
user_124177780
•
1
2
115
conjunctive-normal-form logic-programming swi-prolog prolog logic
How is Prolog `shift`/`reset` like other languages?
user_2574180
•
7
2
202
delimited-continuations swi-prolog prolog continuations haskell
ERROR EXCEPTION while printing message raised: type_error on plunit run_tests
user_39942490
•
1
0
73
plunit swi-prolog prolog
Incrementing value on backtrack
user_10191290
•
1
2
66
backtracking swi-prolog prolog increment
Extending and/or parametric object as attribute
user_10191290
•
1
1
44
logtalk parametric-polymorphism swi-prolog prolog class
Prolog: How to switch negative indexes of dictionary into positive successors of the maximal index?
user_62006110
•
2
1
56
swi-prolog prolog key dictionary
Hot Questions