Question

Prolog member function should work but it doesnt

score 150 · Answer 1 · 2025-01-07 10:46:33

150

Views

Prolog member function should work but it doesnt

Published on 07 January 2025 at 10:46

score 192 · Answer 2 · 2025-01-07 10:45:18

192

Views

How do two atomic formulas unify?

Published on 07 January 2025 at 10:45

score 196 · Answer 3 · 2025-01-07 10:45:17

196

Views

Surprising failure of unification in Idris

Published on 07 January 2025 at 10:45

score 735 · Answer 4 · 2025-01-07 10:48:03

735

Views

Generating run time proofs with type predicates in Idris

Published on 07 January 2025 at 10:48

score 520 · Answer 5 · 2025-01-07 10:45:15

520

Views

`coerce` and instantiation of type variables

Published on 07 January 2025 at 10:45

score 310 · Answer 6 · 2025-01-03 06:17:46

310

Views

Haskell Recursion Schemes: Traverse two structures simultaneously

Published on 03 January 2025 at 06:17

score 429 · Answer 7 · 2024-12-27 18:16:03

429

Views

Agda: what does `.(` mean?

Published on 27 December 2024 at 18:16

score 481 · Answer 8 · 2025-01-07 10:50:28

481

Views

Associative, commutative properties and identity elements of non-binary functions

Published on 07 January 2025 at 10:50

score 808 · Answer 9 · 2024-12-28 21:37:44

808

Views

Member predicate

Published on 28 December 2024 at 21:37

score 255 · Answer 10 · 2025-01-07 10:44:04

255

Views

Requires MonadPlus (ST a) Instance

Published on 07 January 2025 at 10:44

score 312 · Answer 11 · 2025-01-07 10:48:21

312

Views

GHC rejects ST monad code as unable to unify type variables?

Published on 07 January 2025 at 10:48

score 169 · Answer 12 · 2025-01-07 10:44:48

169

Views

most general unifier of n(a,b) and f(x,y)

Published on 07 January 2025 at 10:44

score 203 · Answer 13 · 2024-12-30 15:35:57

203

Views

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

Published on 30 December 2024 at 15:35

score 270 · Answer 14 · 2024-12-30 15:48:41

270

Views

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

Published on 30 December 2024 at 15:48

score 119 · Answer 15 · 2025-01-07 10:48:45

119

Views

How to exclude nonsensical types without relying on type inference?

Published on 07 January 2025 at 10:48

score 163 · Answer 16 · 2025-01-07 10:48:44

163

Views

Assigning a variable rather than checking for truth value with ->

Published on 07 January 2025 at 10:48

score 318 · Answer 17 · 2025-01-07 10:45:53

318

Views

Feature structure unification in minikanren

Published on 07 January 2025 at 10:45

score 802 · Answer 18 · 2025-01-07 10:44:21

802

Views

Prolog - Explain trace steps in English

Published on 07 January 2025 at 10:44

score 7.9k · Answer 19 · 2025-01-07 10:43:42

7.9k

Views

Applications of Unification?

Published on 07 January 2025 at 10:43

score 5.9k · Answer 20 · 2025-01-07 10:43:35

5.9k

Views

Higher-order unification

Published on 07 January 2025 at 10:43

List Question

Prolog member function should work but it doesnt

How do two atomic formulas unify?

Surprising failure of unification in Idris

Generating run time proofs with type predicates in Idris

`coerce` and instantiation of type variables

Haskell Recursion Schemes: Traverse two structures simultaneously

Agda: what does `.(` mean?

Associative, commutative properties and identity elements of non-binary functions

Member predicate

Requires MonadPlus (ST a) Instance

GHC rejects ST monad code as unable to unify type variables?

most general unifier of n(a,b) and f(x,y)

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

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

How to exclude nonsensical types without relying on type inference?

Assigning a variable rather than checking for truth value with ->

Feature structure unification in minikanren

Prolog - Explain trace steps in English

Applications of Unification?

Higher-order unification

Trending Questions

Popular # Hahtags

Popular Questions