unification 0.1.6 unification: ^0.1.6 copied to clipboard
Unification is an implementation of logical first-order unification. It follows Robinson's algorithm, and uses trampolining to avoid stack size limitation issues.
1
likes
pending
pub points
0%
popularity
This package version is not analyzed. Check the latest stable version for its analysis.
Check the analysis log for details.