knowledge-representation-and-reasoning
python based framework for imperative representation of knowledge