unification 0.1.4 unification: ^0.1.4 copied to clipboard
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.
0.1.3 #
- Fixed minor issues discovered by pana.
0.1.4 #
- Fixed minor issues discovered by pana.