# PLN port to MeTTa

Different ways are explored to port PLN to MeTTa.  These ways are
organized into the following folders:

- match: rule is represented using MeTTa operator match;
- entail: rule is represented with the symbol ⊢;
- equal: rule is represented using MeTTa equality =;
- dependent-types: rule is represented as type constructor;