prolog

737 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Tabling in Prolog, when are values stored?
user_155267010
•
3
2
127
prolog
Forward chaining in Prolog, problem with multiple rules
user_107465970
•
2
1
93
swi-prolog prolog
How can I apply Menu functionalities to buttons in WIN-PROLOG,
user_180959420
•
1
0
19
win-prolog menubar prolog toolbar menu
Can the unification algorithm in Prolog recurse infinitely?
user_133399550
•
3
2
142
unification infinite swi-prolog prolog recursion
Is my Prolog Code with the following Diagram and Truth Table correct?
user_146907890
•
2
1
65
prolog
Prolog list exercise
user_180599810
•
1
2
59
prolog
Convert FOPL expression to prolog
user_115940300
•
2
1
100
prolog discrete-mathematics logic
How to determine if two propositional formulas are equivalent in Prolog?
user_145098760
•
2
1
186
propositional-calculus prolog logic boolean-logic
Implementation of forward chaining in prolog (SWI-Prolog)
user_107465970
•
6
2
289
prolog
Introducing non-ground vars into a Prolog query for a custom DSL query language
user_2266600
•
2
3
120
prolog
Hot Questions