prolog

737 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
CHR: managing "constraint stores"
user_10191290
•
1
0
48
chr store prolog constraints
Free Variable in Prolog
user_128464390
•
5
3
879
free-variable prolog
Non-linearity of Wielemaker-Demoen Unification
Admin1
•
2
0
58
unification swi-prolog prolog
Paterson-Wegman versus Wielemaker-Demoen Unification
Admin1
•
3
0
86
unification swi-prolog prolog
Lambdas in Prolog?
user_10191290
•
5
2
442
meta-predicate prolog lambda
Prolog: slash separated string to list
user_150723500
•
2
1
68
prolog list string
Prolog Procedure si(A) Does not Exist
user_99192140
•
2
2
360
prolog
Order of unification in lists when using pipe(|)
user_140682320
•
4
2
63
prolog-toplevel prolog
λProlog hypothetical reasoning Tic Tac Toe
Admin1
•
2
1
75
lambda-prolog game-engine prolog
Compilation error "4:12: syntax error: . or operator expected after expression" / problems with defining dynamic in prolog
user_148605680
•
2
1
234
gnu-prolog prolog compiler-errors dynamic
Hot Questions