unification 0.1.1 copy "unification: ^0.1.1" to clipboard
unification: ^0.1.1 copied to clipboard

Published 5 years ago • verified publisherwelopment.comDart 3 incompatible• Latest: 0.1.15
outdated
→

Metadata

Unification is an implementation of logical first-order unification. It follows Robinson's algorithm, and uses trampolining to avoid stack size limitation issues.

More...

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.

← Metadata

1
likes
0
pub points
0%
popularity

Publisher

verified publisherwelopment.com

Metadata

Unification is an implementation of logical first-order unification. It follows Robinson's algorithm, and uses trampolining to avoid stack size limitation issues.

Homepage

License

unknown (LICENSE)

Dependencies

tailcalls

More

Packages that depend on unification

Back