Fixing VeryRecursiveO with Conde

awalterschulze / gominikanren

a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.

Other

38 stars 2 forks source link

Fixing VeryRecursiveO with Conde #3

Closed deosjr closed 4 years ago

deosjr commented 4 years ago

Fixes #2

Introduced the Zzz macro from minikanren to simplify delay.
Added disj+ using Zzz
Added a simplified version of Conde (real conde operates on list of lists of goals)
Caveat: two versions of Zzz, one of which also delaying the underlying function call

awalterschulze commented 4 years ago

Don't worry about the travis diff error. I will fix that at a later stage.

deosjr commented 4 years ago

Well, this just became quite the monster. Hope you still like it. New version has the proper Zzz (which was Zzz2 before) which delays function calls. The old Zzz is now DefRel, which is what is was actually doing anyways :) Goals are fn() -> fn(state) -> stream

awalterschulze commented 4 years ago

Could GoalFn, also be Goalz? for a cuter name. What do you think?

I think this looks great, really good job. Well done 👍