unification 0.1.15 
unification: ^0.1.15 copied to clipboard
welopment.comAn implementation of logical first-order unification for logic programming in dart.
18 versions
Stable versions of unification
| Version | Min Dart SDK | Uploaded | Documentation | Archive | |
|---|---|---|---|---|---|
| 0.1.15 | 2.6 | 6 years ago |  |  | |
| 0.1.14 | 2.6 | 6 years ago | | | |
| 0.1.13 | 2.6 | 6 years ago | | ||
| 0.1.12 | 2.6 | 6 years ago | | ||
| 0.1.11 | 2.6 | 6 years ago | | ||
| 0.1.10 | 1.8 | 6 years ago | | ||
| 0.1.9 | 1.8 | 6 years ago | | ||
| 0.1.8 | 1.8 | 6 years ago | | ||
| 0.1.7 | 1.8 | 6 years ago | | ||
| 0.1.6 | 1.8 | 6 years ago | | ||
| 0.1.4 | 1.8 | 6 years ago | | ||
| 0.1.3 | 1.8 | 7 years ago | | ||
| 0.1.2 | 1.8 | 7 years ago | | ||
| 0.1.1 | 1.8 | 7 years ago | | ||
| 0.1.0 | 1.8 | 7 years ago | | ||
| 0.0.1+2 | 1.8 | 7 years ago | | ||
| 0.0.1+1 | 1.8 | 8 years ago | | ||
| 0.0.1 | 1.8 | 8 years ago | |
Metadata
1
likes
35
points
13
downloads
Publisher
Weekly Downloads
Metadata
An implementation of logical first-order unification for logic programming in dart.
Repository (GitHub)
View/report issues
License
MIT (license)
