Using uint64 in substitution map

awalterschulze / gominikanren

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

Other

38 stars 2 forks source link

Using uint64 in substitution map #13

Closed deosjr closed 4 years ago

deosjr commented 4 years ago

Makes everything a little faster, losing the ability to simply call Reify(varname string). Which is totally in line with the 2013 ukanren paper but the parser is a bit more useless now.

awalterschulze commented 4 years ago

Just make the CI pass and I'll take a final sweep, but everything looks good to go.

awalterschulze commented 4 years ago

Very nice job :D