ExKanren

ExKanren copied to clipboard

Add + and * operators

1

There are some papers on implementing plus and multiply (and thereby subtraction and division via substitution) without having to use `project/1` which would remove things like arithmetic errors when defining...

sitch

The current behavior in ExKanren is that if a function is passed to the first clause of a conda/condu block, it would seem that as long as the first sub-clause...

dewyze