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

outdated

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

Use this package as a library

Depend on it

Run this command:

With Dart:

 $ dart pub add unification

This will add a line like this to your package's pubspec.yaml (and run an implicit dart pub get):

dependencies:
  unification: ^0.1.3

Alternatively, your editor might support dart pub get. Check the docs for your editor to learn more.

Import it

Now in your Dart code, you can use:

import 'package:unification/unification.dart';
1
likes
0
pub points
0%
popularity

Publisher

verified publisherwelopment.com

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