pub.dev : unification
An implementation of logical first-order unification for logic programming in dart.
Registry
-
Source
- Documentation
- JSON
- codemeta.json
purl: pkg:pub/unification
Keywords:
algorithm
, dart
, flutter
, flutter-package
, logic
, pattern-matching
, unification
License: MIT
Latest release: about 6 years ago
First release: over 7 years ago
Dependent packages: 1
Dependent repositories: 1
Stars: 3 on GitHub
Forks: 0 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 21 days ago