logpy/logpy — pull request #30 by mrocklin (2013-09-30 01:02:13+00:00)
Title: Term

Pull out term handling, variable handling, and unification to the `term` library. LogPy was serving both as a logic programming library and as a standard interface for terms. These are separate.

See http://github.com/mrocklin/term/