unification 0.1.3

Unification is an implementation of logical first-order unification. It follows Robinson's algorithm, and uses trampolining to avoid stack size limitation issues.

Changelog

0.0.1

• Initial release.

0.0.2

• Updated to use Dart 2.1.0
• Added Examples

0.1.0

• Fixed dependencies.

0.1.1

• Fixed some minor issues discovered by pana.

0.1.2

• term data structures into separate file.
• improved comments and docs.