Question

Prolog member function should work but it doesnt

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

141

Views

Prolog member function should work but it doesnt

Published on 07 January 2025 at 10:46

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

183

Views

How do two atomic formulas unify?

Published on 07 January 2025 at 10:45

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

189

Views

Surprising failure of unification in Idris

Published on 07 January 2025 at 10:45

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

728

Views

Generating run time proofs with type predicates in Idris

Published on 07 January 2025 at 10:48

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

511

Views

`coerce` and instantiation of type variables

Published on 07 January 2025 at 10:45

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

297

Views

Haskell Recursion Schemes: Traverse two structures simultaneously

Published on 03 January 2025 at 06:17

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

421

Views

Agda: what does `.(` mean?

Published on 27 December 2024 at 18:16

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

464

Views

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

Published on 07 January 2025 at 10:50

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

798

Views

Member predicate

Published on 28 December 2024 at 21:37

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

246

Views

Requires MonadPlus (ST a) Instance

Published on 07 January 2025 at 10:44

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

305

Views

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

Published on 07 January 2025 at 10:48

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

154

Views

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

Published on 07 January 2025 at 10:44

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

193

Views

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

Published on 30 December 2024 at 15:35

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

261

Views

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

Published on 30 December 2024 at 15:48

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

112

Views

How to exclude nonsensical types without relying on type inference?

Published on 07 January 2025 at 10:48

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

157

Views

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

Published on 07 January 2025 at 10:48

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

307

Views

Feature structure unification in minikanren

Published on 07 January 2025 at 10:45

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

796

Views

Prolog - Explain trace steps in English

Published on 07 January 2025 at 10:44

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

7.8k

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