Usage no npm install needed!

<script type="module">
  import firstOrderMatching from 'https://cdn.skypack.dev/first-order-matching';
</script>

README

First-Order Matching

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

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.