ekmett/guanxi
View on GitHub ↗ ★ 277 Haskell
Relational programming in Haskell. Mostly developed on twitch.
3 mentions on Hacker News by 3 people: 0 stories, 3 comments · first 2019-07-10 · latest 2022-04-30
20082026
-
Not an example of prolog but I wish Ed had time to continue developing https://github.com/ekmett/guanxi .
comment by Ericson2314 · 2022-04-30 · in Ask HN: What are some interesting examples of Prolog? -
…that could leverage such an architecture: * http://minikanren.org/ * https://cuelang.org/ * https://github.com/ekmett/guanxi Is there an algebraic logic strongly associated with what we conventionally think of as types (see…
comment by rudolph9 · 2019-12-09 · in Transputer -
…intimately connected with Ed Kmett's Guanxi project https://www.youtube.com/watch?v=D7rlJWc3474 https://github.com/ekmett/guanxi My understanding is he is using ideas from propagators and other places to make a performant logic programming…
comment by philzook · 2019-07-10 · in The Art of the Propagator (2009) [pdf]