swi-prolog

89 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
What occurs-check optimizations is SWI Prolog using?
user_19371970
•
5
2
403
occurs-check swi-prolog prolog
Solving linear system of equations with Prolog library Simplex
user_134774150
•
2
1
232
simplex swi-prolog linear-programming prolog
Proper unify_with_occurs_check/2 in SWI-Prolog?
Admin1
•
3
2
247
occurs-check logical-purity swi-prolog prolog
99 bottles of beer in Prolog
Admin1
•
2
1
69
swi-prolog prolog
How to use call_with_depth_limit/3
user_58983890
•
7
4
419
iterative-deepening swi-prolog prolog
Why does SWI-Prolog invent f/2 given only f/1?
user_19371970
•
3
1
71
prolog-dif swi-prolog prolog
SWI-Prolog can't find pce library
user_49190810
•
2
1
656
xpce swi-prolog prolog
Up-to-date Prolog implementation benchmarks?
user_19371970
•
3
3
595
gnu-prolog swi-prolog prolog
Late binding a variable?
user_10191290
•
2
1
45
logtalk swi-prolog prolog late-binding variables
How add SWI-Prolog terminal in VSCode?
user_148172970
•
4
1
11828
vscode-settings visual-studio-code swi-prolog
Hot Questions