Question

Prolog member function should work but it doesnt

score 96 · Answer 1 · 2016-12-19 22:02:53

96

Views

Prolog member function should work but it doesnt

Published on 19 December 2016 at 22:02

score 137 · Answer 2 · 2014-11-19 03:22:15

137

Views

How do two atomic formulas unify?

Published on 19 November 2014 at 03:22

score 149 · Answer 3 · 2014-11-23 22:47:07

149

Views

Surprising failure of unification in Idris

Published on 23 November 2014 at 22:47

score 685 · Answer 4 · 2014-11-23 23:12:46

685

Views

Generating run time proofs with type predicates in Idris

Published on 23 November 2014 at 23:12

score 473 · Answer 5 · 2017-09-04 07:36:33

473

Views

`coerce` and instantiation of type variables

Published on 04 September 2017 at 07:36

score 255 · Answer 6 · 2017-09-09 11:13:36

255

Views

Haskell Recursion Schemes: Traverse two structures simultaneously

Published on 09 September 2017 at 11:13

score 379 · Answer 7 · 2020-10-21 02:07:14

379

Views

Agda: what does `.(` mean?

Published on 21 October 2020 at 02:07

score 429 · Answer 8 · 2013-12-27 21:20:37

429

Views

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

Published on 27 December 2013 at 21:20

score 765 · Answer 9 · 2014-01-05 15:59:52

765

Views

Member predicate

Published on 05 January 2014 at 15:59

score 209 · Answer 10 · 2011-10-06 22:55:17

209

Views

Requires MonadPlus (ST a) Instance

Published on 06 October 2011 at 22:55

score 295 · Answer 11 · 2011-11-04 09:21:01

295

Views

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

Published on 04 November 2011 at 09:21

score 136 · Answer 12 · 2020-12-06 13:32:11

136

Views

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

Published on 06 December 2020 at 13:32

score 161 · Answer 13 · 2020-12-13 10:40:08

161

Views

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

Published on 13 December 2020 at 10:40

score 226 · Answer 14 · 2020-12-13 22:58:11

226

Views

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

Published on 13 December 2020 at 22:58

score 106 · Answer 15 · 2021-04-15 14:12:04

106

Views

How to exclude nonsensical types without relying on type inference?

Published on 15 April 2021 at 14:12

score 151 · Answer 16 · 2018-11-20 08:52:43

151

Views

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

Published on 20 November 2018 at 08:52

score 267 · Answer 17 · 2018-11-22 17:17:51

267

Views

Feature structure unification in minikanren

Published on 22 November 2018 at 17:17

score 790 · Answer 18 · 2018-11-25 18:18:27

790

Views

Prolog - Explain trace steps in English

Published on 25 November 2018 at 18:18

score 7.8k · Answer 19 · 2009-11-06 14:01:23

7.8k

Views

Applications of Unification?

Published on 06 November 2009 at 14:01

score 5.9k · Answer 20 · 2009-12-20 17:39:24

5.9k

Views

Higher-order unification

Published on 20 December 2009 at 17:39

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