search

awalterschulze / gominikanren

a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.
Other
38 stars 2 forks source link

simplify DisjPlus and rename DisjPlus to Disjs and ConjPlus to Conjs #32

Closed awalterschulze closed 1 year ago