prolog

737 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Is there a higher order Prolog that wouldn't need a type system?
Admin1
•
4
1
91
lambda-prolog prolog higher-order-functions
How can Prolog derive nonsense results such as 3 < 2?
user_19371970
•
4
3
144
occurs-check unification prolog
How to do only 2 recursive calls in Prolog?
user_148139780
•
2
2
81
prolog recursion predicate
How to call a predicate that appends two lists in Prolog?
user_148139780
•
2
1
52
call prolog append predicate list
SICStus Prolog weighted_maximum/3 replacement?
Admin1
•
2
0
33
clpb sat prolog
SICStus Prolog sat_count/2 replacement?
Admin1
•
2
0
57
clpb sat prolog
Prolog reverse front members of a list
user_16895920
•
2
1
44
prolog reverse list
How to create a infinite list if input is not delcared?
user_144284000
•
2
3
97
prolog
Is there a way I can call non-terminal symbols recursively when working with a DCG in Prolog?
Admin1
•
4
2
103
prolog dcg
How will Prolog interpret this?
user_142078220
•
3
1
52
prolog
Hot Questions