unification 0.1.3 unification: ^0.1.3 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.
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';