search

mndrix / golog

Prolog interpreter in Go
MIT License
374 stars 39 forks source link

make Unify() a method on Term #4

Closed mndrix closed 11 years ago

mndrix commented 11 years ago

Each Term implementation can apply substantial unification optimizations because it knows it's own type and implementation details.