prolog

737 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Prolog output should match the input of the sat solver
user_124177780
•
1
1
60
sat swi-prolog prolog logic
Simple recursive prolog program to add elements
user_193801560
•
1
1
93
prolog
Is there a non-unifying alternative to member/2 in SWI-Prolog?
user_119390430
•
2
1
48
unification prolog
How do I understand the logic behind this Prolog problem?
user_124627960
•
2
2
69
prolog
Prolog - animal puzzle, need to force each atom to be used only once
user_121212600
•
1
2
106
zebra-puzzle prolog
Prolog: Find all equilateral triangles which are built from DB points
user_147804750
•
2
2
82
prolog list
Scheduling timetables using Prolog
user_192185720
•
1
1
121
prolog logic
Why are so many correct solutions found?
user_12142530
•
2
3
109
prolog
Uniting consecutive and equal elements in the array in Prolog
user_139680880
•
1
3
53
prolog element list arrays
Creating random CNF formulas prolog
user_124177780
•
1
2
115
conjunctive-normal-form logic-programming swi-prolog prolog logic
Hot Questions