unification
An implementation of logical first-order unification for logic programming in dart.
Ecosystem
pub.dev
pub.dev
Latest Release
about 6 years ago
0.1.15
about 6 years ago
Versions
18
18
Dependent Packages
1
1
Dependent Repos
1
1
Links
| Registry | pub.dev |
| Source | Repository |
| Docs | Documentation |
| JSON API | View JSON |
| CodeMeta | codemeta.json |
Package Details
| PURL |
pkg:pub/unification
spec |
| License | MIT |
| First Release | over 7 years ago |
| Last Synced | 8 days ago |
Repository
| Stars | 3 on GitHub |
| Forks | 0 on GitHub |