Name		Name	Last commit message	Last commit date
parent directory ..
dependent-types		dependent-types
entail		entail
equal		equal
match		match
README.md		README.md

README.md

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;