I wrote something like this, based in part on ideas from PLN: https://hackernoon.com/mycroft-a-predicate-logic-language-ov...