unification 0.1.3 copy "unification: ^0.1.3" to clipboard
unification: ^0.1.3 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.

Repository (GitHub)
View/report issues

License

unknown (LICENSE)

Dependencies

tailcalls

More

Packages that depend on unification

Back