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

Published 7 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...

-/ -
pub points
21
downloads

This package version is not analyzed. Check the latest stable version for its analysis.

Check the analysis log for details.

Weekly downloads

Display as:
By versions:

← Metadata

1
likes
0
points
21
downloads

Publisher

verified publisherwelopment.com

Weekly Downloads

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