unification 0.1.15

An implementation of logical first-order unification for logic programming in dart.

Changelog

0.1.15

• fix issues discovered by pana

0.1.14

• improve style

0.1.13

• fixed issues discovered by pana

0.1.12

• improve style (omit type annotations for local variables)

0.1.11

• fixed issues discovered by pana
• Much more documentation

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