prolog

737 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Pure Prolog Meta-Interpreter with one Rule
Admin1
•
2
3
120
logical-purity prolog metaprogramming
Is "almost pure" Prolog expressive?
user_19371970
•
2
3
624
prolog-dif logical-purity logic-programming prolog programming-languages
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
NU-Prolog's and Gödel's logical and sound `if-then-else` extension
user_19371970
•
2
2
245
logical-purity logic-programming 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
Seeking a pure Prolog implementation of (\=)/2
Admin1
•
3
1
116
negation-as-failure prolog
Hot Questions