prolog

737 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Explanation for why append/3 produces infinite number of solutions in these cases
user_115165100
•
5
2
209
infinite prolog append list
How do i print a line with input using a line/2 predicate in prolog
user_142528930
•
2
2
71
prolog
Prolog implementation of Beckert & Posegga's algorithm
Admin1
•
2
3
231
first-order-logic prolog
Reporting *why* a query failed in Prolog in a systematic way
user_20357080
•
5
2
221
first-order-logic prolog
How to play a sound using Prolog?
user_123844670
•
2
1
141
swi-prolog prolog audio
Prolog implementation of Quine's algorithm for classical propositional logic (in Quine's "Methods of Logic")
user_11213560
•
9
3
790
propositional-calculus prolog haskell
Prolog: difference between var, nonvar and ground
user_126851610
•
2
1
1446
prolog
Proper definition of "atom" in Prolog and Logic Programming
Admin1
•
3
1
1580
prolog
Proper handling of denormal floats in ISO-Prolog
user_46099150
•
3
3
167
denormal-numbers iso-prolog prolog floating-point performance
How to join rules and print out outputs in prolog
user_106043780
•
2
3
285
prolog
Hot Questions