unification 0.1.10 unification: ^0.1.10 copied to clipboard
An implementation of logical first-order unification for logic programming in dart.
Changelog #
0.1.10 #
- Remove nullable field "name" in class "Term"
0.1.9 #
- Fix issues reported by pana
0.1.8 #
- Introduce type variable for Var and Term
- Refactor Termtype
0.1.7 #
- Fix issues reported by pana
0.1.6 #
- Fix issues related to version 2.4.1 of Dart
0.1.5 #
- Fix issues related to generics
0.1.4 #
- Fix minor issues discovered by pana
0.1.3 #
- Fix issues reported by pana
0.1.2 #
- Separate term data structures
- Improve comments and docs
0.1.1 #
- Fix some minor issues discovered by pana
0.1.0 #
- Fix dependencies
0.0.2 #
- Update to use Dart 2.1.0
- Add Examples
0.0.1 #
- Publish initial release