search

bfpg / talks

Brisbane Function Programming Group talk ideas, scheduling & archival
https://talks.bfpg.org
Creative Commons Zero v1.0 Universal
4 stars 5 forks source link

Relational Programming with miniKanren #37

Open peddie opened 8 years ago

peddie commented 8 years ago

I'd be willing to give this talk on a Scheme DSL for pure logic programming.

William Byrd has two videos covering a long talk he gave about miniKanren here, and this talk would cover the same material. The obvious goal is to get through the metacircular evaluator, but I doubt I could do this in an hour (it takes him 2.5 with some digressions), so it might have to get split into two pieces.

dalaing commented 7 years ago

I'd be willing to synchronize a related talk around this - whether it's about LogicT, or Prolog, or just the basics of logic programming.

frasertweedale commented 4 years ago

@peddie @dalaing still willing? Or should we close?

gwils commented 4 years ago

I'd be very interested in this, maybe as a series, maybe with mention of ekmett/guanxi

peddie commented 4 years ago

I haven't found anything about guanxi written down so someone else would have to tackle that part.

I still think @dalaing 's idea of combining this with something else relational, e.g. LogicT or maybe Mercury is good.