Logic Programming à la Carte by Edward Kmett #FnConf19
Channel: ConfEngine
Date: 21/11/2019

I've been working on a logic programming framework in Haskell, called guanxi (關係) with an eye towards scalability. To build it I leaned heavily on my previous work on propagators and a bunch of other little bits and pieces of algebra and category theory in the design process. A number of patterns have arisen repeatedly throughout the process of building this library. I'll give a tour through the current state of guanxi and try to extract some of the more reusable bits of its design for your inspection.

More details: https://confengine.com/functional-conf-2019/proposal/12701

Conference Link: https://functionalconf.com