A Framework for Extending microKanren with Constraints — mentioned by DonbunEf7

Thu, 06 Jul 2017 18:01:10 GMT

I am neither Byrd nor Friedman but I will try my best. The short answer is that it doesn't compose very well, especially when doing relational programming. Let's say that `people` is a record of some sort, and not a relation. That is, when we extract people, we get records of data which we can manipulate, and not a set of functions which let us relate the records to each other. Now, imagine a logical query which has the following steps: exists p :Person guard p.name == "Titus" exists gp :Person ? isGrandParent(gp, p) call scan(gp) return gp, p How is this actually going to be executed? Well…

Paper and discussion history. A mention is not an endorsement.

A Framework for Extending microKanren with Constraints · HackerPapers discussions

A Framework for Extending microKanren with Constraints — mentioned by DonbunEf7