[Feature Request] Consider porting cKanren to this repo?

[haf]

It would be nice to be able to add constraints over more things than relations, similar to how cKanren/impl does it.

Perhaps it could be merged into https://github.com/dungpa/Z3Fs as a general purpose logic/CSP programming environment in F#.

We should also link the relevant thesis that your tests come from, and perhaps state a bit about how an inference engine can be used e.g. as the backbone for a planner's variable unification logic. It could also be noted how these inference/logic programming engines share similarities control flow, or not.