first-order-matching
A limited JavaScript implementation of a matching algorithm for expressions of first-order logic
Last updated 2 years ago by ncarter .
LGPLv3 · Repository · Bugs · Original npm · Tarball · package.json
$ cnpm install first-order-matching 
SYNC missed versions from official npm registry.

First-Order Matching

Build Status

A limited JavaScript implementation of a matching algorithm for expressions of first-order logic

To get started:

Import this into your site like so:

<script src='https://cdn.jsdelivr.net/npm/first-order-matching@1/first-order-matching.js'></script>

Or install it from npm like so:

npm install first-order-matching

Then see the API Reference page for what to do next.

You can also run this script inside a WebWorker; see the documentation link below for details.

Repository contents

Documentation

See our documentation site here.

Current Tags

  • 1.2.0                                ...           latest (2 years ago)

9 Versions

  • 1.2.0                                ...           2 years ago
  • 1.1.0                                ...           3 years ago
  • 1.0.6                                ...           3 years ago
  • 1.0.5                                ...           3 years ago
  • 1.0.4                                ...           3 years ago
  • 1.0.3                                ...           3 years ago
  • 1.0.2                                ...           3 years ago
  • 1.0.1                                ...           3 years ago
  • 1.0.0                                ...           3 years ago
Maintainers (1)
Downloads
Today 0
This Week 0
This Month 0
Last Day 0
Last Week 0
Last Month 0
Dependencies (2)
Dev Dependencies (8)
Dependents (0)
None

Copyright 2014 - 2016 © taobao.org |