CODEWITHSUNDEEP

StackOverflow Questions for Tag: occurs-check

Reputation: 12567

What occurs-check optimizations is SWI Prolog using?

prologswi-prologoccurs-check

Score: 6

Views: 516

Answers: 2

false

Reputation: 10102

Unification with STO detection

algorithmprologunificationiso-prologoccurs-check

Score: 38

Views: 818

Answers: 5

Reputation: 12567

Do modern Prolog compilers optimize away the occurs check automatically, when it's safe?

compilationprologcompiler-optimizationunificationoccurs-check

Score: 3

Views: 242

Answers: 3

user502187

Reputation:

How bootstrap setarg_with_occurs_check/3 in Prolog?

prologswi-prologoccurs-check

Score: -1

Views: 57

Answers: 1

Reputation: 12567

Does Prolog need GC when the occurs check is globally enabled?

prologswi-prologlogic-programmingwarren-abstract-machineoccurs-check

Score: 7

Views: 461

Answers: 3

user502187

Reputation:

Pure Prolog Scheme Quine

prologlogical-puritylambda-prologoccurs-check

Score: 4

Views: 478

Answers: 3

user502187

Reputation:

dif with occurs check

prologprolog-difoccurs-check

Score: 5

Views: 170

Answers: 2

Reputation: 1189

Why `f(a)=a` fails but `f(X)=X` succeeds in prolog?

prologoccurs-check

Score: 3

Views: 153

Answers: 1

Reputation: 7374

Prolog matching vs miniKanren unification

prologclojure-core.logicminikanrenoccurs-check

Score: 6

Views: 875

Answers: 2

Pedro Montoto García

Reputation: 1712

What does Prolog do if you X = f(X)?

prologoccurs-check

Score: 7

Views: 1250

Answers: 2

Reputation: 12567

How can Prolog derive nonsense results such as 3 < 2?

prologunificationoccurs-check

Score: 5

Views: 164

Answers: 3

user502187

Reputation:

Proper unify_with_occurs_check/2 in SWI-Prolog?

prologswi-prologlogical-purityoccurs-check

Score: 3

Views: 313

Answers: 2

user502187

Reputation:

How to safely temporarily change the occurs check flag?

prologoccurs-check

Score: 1

Views: 69

Answers: 1

user502187

Reputation:

Prolog systems with occurs check aware freeze

prologdelayed-executionoccurs-check

Score: 0

Views: 24

Answers: 0

user502187

Reputation:

What is a simple worst case for occurs check in Prolog?

prologoccurs-check

Score: 3

Views: 256

Answers: 2

user502187

Reputation:

Simulating occurs_check=error in SICStus Prolog

prologsicstus-prologoccurs-check

Score: 1

Views: 67

Answers: 1

Reputation: 12567

How to enable the occurs check in all unifications in SWI-Prolog?

prologswi-prologoccurs-check

Score: 5

Views: 408

Answers: 1

PreviousPage 1Next