First-Order Matching

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

• Source code, in Literate CoffeeScript
• Compiled and minified JavaScript from a CDN that you can import directly into your projects from that URL
• A whitepaper detailing the algorithm's limitations and capabilities

Documentation

See our documentation site here.