unification

24 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Quine's algorithm with Single Sided Unification in Prolog
Admin1
•
2
2
95
picat propositional-calculus unification prolog
Generalized HM vs. Higher-Order Unification
user_55363150
•
4
1
235
unification higher-order-types hindley-milner functional-programming haskell
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
Most General Unifier (Prolog)
user_126837180
•
2
1
612
unification prolog
Do modern Prolog compilers optimize away the occurs check automatically, when it's safe?
user_19371970
•
2
3
168
occurs-check unification compiler-optimization prolog compilation
How can Prolog derive nonsense results such as 3 < 2?
user_19371970
•
4
3
144
occurs-check unification prolog
Extending unification, SICStus-style
user_46099150
•
6
1
109
sicstus-prolog unification prolog
Unification in pattern matching case
user_35844990
•
3
1
176
unification dependent-type reflect coq pattern-matching
Finding the most general unifier in Haskell using Data.Comp.Unification (beginner question)
user_57606150
•
3
1
533
type-theory unification lambda-calculus type-inference haskell
Hot Questions