`unification`

An implementation of logical first-order unification for logic programming in dart.

Ecosystem
pub.dev

Latest Release
0.1.15
about 6 years ago

Versions
18

Dependent Packages
1

Dependent Repos
1

unify 0.2.3

An implementation of logical unification for dart and flutter based on the algorithm by Ruzicka u...
10 versions - Latest release: almost 6 years ago - 1 dependent package - 1 dependent repositories - 1 stars on GitHub

Past Dependents

Include Past Dependents

Check this option to include packages that no longer depend on this package in their latest version but previously did.

Filter by Kind

All kinds runtime 1

Links

Registry	pub.dev
Source	Repository
Docs	Documentation
JSON API	View JSON
CodeMeta	codemeta.json

Package Details

PURL	`pkg:pub/unification` spec
License	MIT
First Release	over 7 years ago
Last Synced	7 days ago

Keywords
algorithm dart flutter flutter-package logic pattern-matching unification

Repository

Stars	3 on GitHub
Forks	0 on GitHub

repos.ecosyste.ms

ecosyste.ms

Data

Tools

Indexes

Applications

Experiments

Packages