prolog

737 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Truthful abstract measure for run time cost of a Prolog goal
user_16135730
•
9
1
155
abstract-interpretation prolog
Why do we call a disjunction of literals of which none is positive a goal clause?
user_78504990
•
4
2
1044
prolog logic
Is it possible to reference facts in production rules?
user_140690
•
4
1
54
prolog dcg
How to identify wasteful representations of Prolog terms
user_12437620
•
4
2
234
prolog data-structures
Why is [] = _. true in Prolog?
user_38585280
•
3
1
818
prolog
Find progressively bigger elements in prolog list
user_79882760
•
5
2
783
prolog list
Find all possible combinations of words in given format
user_29881710
•
3
1
132
prolog constraint-programming substitution
How can I write a rule that finds a number using integer/1?
user_7366940
•
4
2
351
prolog
Turbo Prolog execution order
user_76773090
•
2
1
255
turbo-prolog prolog recursion
Swi Prolog, Read file examples
user_42812560
•
6
1
3257
readfile prolog
Hot Questions