StackOverflow Questions for Tag: unification

An5Drama

Reputation: 567

How to do the general match for segment variable in unification?

algorithmlogicschemeunification

Score: 2

Answers: 1

George

Reputation: 101

Most General Unifier (Prolog)

prologunification

Score: 2

Answers: 2

CodeWeaver

Reputation: 81

RankNTypes, Daisy Chaining

haskelltype-deductionunificationrank-n-types

Score: 2

Answers: 2

Cardstdani

Reputation: 5223

When can I safely avoid storing temporary calculations in Prolog?

prologarithmetic-expressionsunification

Score: 1

Answers: 2

Philipp Mildenberger

Reputation: 560

How can I map discriminated unions to concrete types (like classes) via a factory function in Typescript?

typescripttypesdiscriminated-unionstatic-typingunification

Score: 1

Answers: 1

tribbloid

Reputation: 3858

All partial unification algorithms failed on implicit conversion from functions - How to improve in Scala?

scalaimplicitunificationscala-2.13

Score: 0

Answers: 0

InDaPond

Reputation: 572

Swi Prolog Editor only shows false, not true

prologswi-prologunification

Score: 0

Answers: 1

yiyuan-cao

Reputation: 157

What's the role of unification in Coq's core type system?

coqdependent-typetype-systemstheorem-provingunification

Score: 2

Answers: 2

Cs_J

Reputation: 81

Can Prolog-like unification be expressed in a point free way?

prologjpointfreeunification

Score: 2

Answers: 1

sten

Reputation: 7486

Implementing the Prolog Unification algorithm in Python? Backtracking

pythonalgorithmprologbacktrackingunification

Score: 14

Answers: 3

Andri

Reputation: 1

Unification of types

f#type-inferenceunification

Score: 0

Answers: 1

Andry

Reputation: 16875

What is a unification algorithm?

algorithmf#functional-programmingprologunification

Score: 5

Answers: 3

user502187

Reputation:

Prolog meta-interpreters and single sided unification

prologswi-prologunificationprolog-metainterpreter

Score: -1

Answers: 1

pjm

Reputation: 279

Coq: Unification fails with record

recordcoqdependent-typeunification

Score: 0

Answers: 1

repeat

Reputation: 18726

Extending unification, SICStus-style

prologunificationsicstus-prolog

Score: 6

Answers: 2

matti1499

Reputation: 25

Why doesn't X-0 match with 20?

prologunification

Score: 0

Answers: 1

Martin Kunze

Reputation: 1055

SWI-Prolog predicates member and nth1 without unification?

prologswi-prologunification

Score: 1

Answers: 1

Vivin Paliath

Reputation: 95578

Why does SWI-Prolog unify a quoted and unquoted string (without spaces) to the same rule?

prologunificationiso-prologunify

Score: 5

Answers: 2

willeM_ Van Onsem

Reputation: 477492

Deleting all members of a list without unification in Prolog

listprologunificationprolog-dif

Score: 5

Answers: 2

fast-reflexes

Reputation: 5186

Silly detail enquiry about Prolog unification

listprologunificationcons

Score: 1

Answers: 3

PreviousPage 1Next

StackOverflow Questions for Tag: unification

How to do the general match for segment variable in unification?

Most General Unifier (Prolog)

RankNTypes, Daisy Chaining

When can I safely avoid storing temporary calculations in Prolog?

How can I map discriminated unions to concrete types (like classes) via a factory function in Typescript?

All partial unification algorithms failed on implicit conversion from functions - How to improve in Scala?

Swi Prolog Editor only shows false, not true

What&#39;s the role of unification in Coq&#39;s core type system?

Can Prolog-like unification be expressed in a point free way?

Implementing the Prolog Unification algorithm in Python? Backtracking

Unification of types

What is a unification algorithm?

Prolog meta-interpreters and single sided unification

Coq: Unification fails with record

Extending unification, SICStus-style

Why doesn&#39;t X-0 match with 20?

SWI-Prolog predicates member and nth1 without unification?

Why does SWI-Prolog unify a quoted and unquoted string (without spaces) to the same rule?

Deleting all members of a list without unification in Prolog

Silly detail enquiry about Prolog unification

What's the role of unification in Coq's core type system?

Why doesn't X-0 match with 20?