occurs-check

10 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Why `f(a)=a` fails but `f(X)=X` succeeds in prolog?
user_137822270
•
3
1
102
occurs-check prolog
What is a simple worst case for occurs check in Prolog?
Admin1
•
2
2
123
occurs-check prolog
What occurs-check optimizations is SWI Prolog using?
user_19371970
•
5
2
403
occurs-check swi-prolog prolog
Proper unify_with_occurs_check/2 in SWI-Prolog?
Admin1
•
3
2
247
occurs-check logical-purity swi-prolog prolog
Pure Prolog Scheme Quine
Admin1
•
4
3
369
occurs-check lambda-prolog logical-purity 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
Does Prolog need GC when the occurs check is globally enabled?
user_19371970
•
7
3
275
warren-abstract-machine occurs-check logic-programming swi-prolog prolog
How to enable the occurs check in all unifications in SWI-Prolog?
user_19371970
•
4
1
245
occurs-check swi-prolog prolog
dif with occurs check
Admin1
•
5
2
146
occurs-check prolog-dif prolog
  • 1
Hot Questions