unification 0.1.9
unification: ^0.1.9 copied to clipboard

Published 4 years ago •

welopment.comDart 3 incompatible• Latest: 0.1.15

outdated

→

Metadata

An implementation of logical first-order unification.

More...

example/main.dart

import 'package:unification/src/terms.dart';
import 'package:unification/unification.dart';
import 'dart:collection';

void main() {
  Unification<String, String> u = Unification<String, String>();

  var res1 = u.unify(
    <Tupl<Var<String, String>, Var<String, String>>>[]
      ..add(
        Tupl<Var<String, String>, Var<String, String>>(
          Var('a'),
          Var('a'),
        ),
      ),
  );

  List<Tupl<String, Termtype<String, String>>> res2 = u.unify(
    <Tupl<Var<String, String>, Var<String, String>>>[]
      ..add(
        Tupl(
          Var<String, String>('a'),
          Var<String, String>('b'),
        ),
      ),
  );
}