Interpreter and reasoner

The interpreter produces Expressions as output. A knowledge base and automated reasoner are also provided.

• Semantic interpretation — selkie.nlp.interp
• Predicate calculus expressions — selkie.nlp.expr
• Knowledge base and automated reasoner — selkie.nlp.logic