unification 0.1.2

  • README.md
  • Changelog.md
  • Example
  • Installing
  • Versions
  • 10

unification #

Unification is an implementation of logical first-order unification.

A first-order unification procedure unify is given by this library. It can be applied on two terms of type Termtype that are also given by the library.

The solution of a unification problem is a substitution, that is, a mapping assigning a symbolic value to each variable of the problem's expressions.

The unification procedure reports unsolvability for a given problem or computes the complete and minimal substitution set containing the most general unifier. This is a set covering all solutions containing no redundant members.

Example: #

import "package:tailcalls/tailcalls.dart";
import "package:unification/unification.dart";

var test = unify(
      new List()
          new Tupl(
            new Term("b0", [new Term("b1", []),new Term("b2", [])]),
            new Term("b0", [new Term("b1", []),new Term("b2", [])]),
var mgu = test;

Read more about unification in logic on Wikipedia.

Changelog #

0.0.1 #

  • Initial release.

0.0.2 #

  • Updated to use Dart 2.1.0
  • Added Examples

0.1.0 #

  • Fixed dependencies.

0.1.1 #

  • Fixed some minor issues discovered by pana.

0.1.2 #

  • term data structures into separate file.
  • improved comments and docs.


import '../lib/unification.dart';
import 'dart:collection';

void main() {

  var res1 = unify(
        new Tupl(
          new Var("a"),

  var res2 = unify(
        new Tupl(
          new Var("a"),
          new Var("b"),

Use this package as a library

1. Depend on it

Add this to your package's pubspec.yaml file:

  unification: ^0.1.2

2. Install it

You can install packages from the command line:

with pub:

$ pub get

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

3. Import it

Now in your Dart code, you can use:

import 'package:unification/unification.dart';
Version Uploaded Documentation Archive
0.1.4 May 9, 2019 Go to the documentation of unification 0.1.4 Download unification 0.1.4 archive
0.1.3 Oct 18, 2018 Go to the documentation of unification 0.1.3 Download unification 0.1.3 archive
0.1.2 Sep 29, 2018 Go to the documentation of unification 0.1.2 Download unification 0.1.2 archive
0.1.1 Sep 28, 2018 Go to the documentation of unification 0.1.1 Download unification 0.1.1 archive
0.1.0 Sep 28, 2018 Go to the documentation of unification 0.1.0 Download unification 0.1.0 archive
0.0.1+2 Sep 28, 2018 Go to the documentation of unification 0.0.1+2 Download unification 0.0.1+2 archive
0.0.1+1 Dec 16, 2017 Go to the documentation of unification 0.0.1+1 Download unification 0.0.1+1 archive
0.0.1 Dec 16, 2017 Go to the documentation of unification 0.0.1 Download unification 0.0.1 archive
Describes how popular the package is relative to other packages. [more]
Code health derived from static analysis. [more]
Reflects how tidy and up-to-date the package is. [more]
Weighted score of the above. [more]
Learn more about scoring.

We analyzed this package on May 8, 2019, and provided a score, details, and suggestions below. Analysis was completed with status completed using:

  • Dart: 2.3.0
  • pana: 0.12.15


Detected platforms:

Error(s) prevent platform classification:

Fix dependencies in pubspec.yaml.

Analysis issues and suggestions

Fix dependencies in pubspec.yaml.

Running pub upgrade failed with the following output:

ERR: The current Dart SDK version is 2.3.0.
 Because unification requires SDK version >=1.8.0 <=2.1.0, version solving failed.

Health suggestions

Format lib/terms.dart.

Run dartfmt to format lib/terms.dart.

Format lib/unification.dart.

Run dartfmt to format lib/unification.dart.

Format lib/unification2.dart.

Run dartfmt to format lib/unification2.dart.

Format lib/unification3.dart.

Run dartfmt to format lib/unification3.dart.

Maintenance issues and suggestions

Fix platform conflicts. (-20 points)

Error(s) prevent platform classification:

Fix dependencies in pubspec.yaml.

Support the latest stable Dart SDK in pubspec.yaml. (-20 points)

The SDK constraint in pubspec.yaml doesn't allow the latest stable Dart SDK release.

Make sure dartdoc successfully runs on your package's source files. (-10 points)

Dependencies were not resolved.


Package Constraint Resolved Available
Direct dependencies
Dart SDK >=1.8.0 <=2.1.0