SpiceQA
Questions
Tags
Users
Badges
prolog-dif
8 Questions
Newest
Active
Unanswered
Frequent
More
Score
View
Card
Compact
How to express a disjunction of inequalities compactly without redundant answers/solutions
user_772868
0
•
asked Feb 5, 2021
19
4
432
prolog-dif
prolog
Is "almost pure" Prolog expressive?
user_1937197
0
•
asked Dec 23, 2020
2
3
624
prolog-dif
logical-purity
logic-programming
prolog
programming-languages
Why does SWI-Prolog invent f/2 given only f/1?
user_1937197
0
•
asked Dec 20, 2020
3
1
71
prolog-dif
swi-prolog
prolog
dif with occurs check
Admin
1
•
asked Sep 29, 2020
5
2
146
occurs-check
prolog-dif
prolog
prolog - why should I use 'dif' instead of '=\='
user_12906432
0
•
asked Mar 22, 2020
2
1
132
prolog-dif
prolog
How to implement a not_all_equal/1 predicate
user_2554145
0
•
asked Nov 24, 2017
5
2
177
prolog-dif
logical-purity
prolog
predicate
list
Longest common prefix (LCP) of a list of strings
user_8962399
0
•
asked Nov 23, 2017
20
6
1989
prolog-cut
prolog-dif
logical-purity
prolog
list
Add two more occurrences using prolog
user_3126059
0
•
asked Dec 21, 2013
5
4
505
prolog-dif
prolog
list
1
(current)
Hot Questions