search

thahmann / macleod

Ontology development environment for Common Logic (CL)
Other
23 stars 9 forks source link

Pretty print Ontology.py #10

Closed Fxhnd closed 6 years ago

Fxhnd commented 7 years ago

At the current moment the repr function just recursively calls repr on it's list of imports and axioms. The result is basically a DFS through the import tree that, while cool to watch, is not very helpful when visually parsing it.

It would be better to mimic the approach used in the previous version where we first accumulate all the imports then print them. This is closely related to the other ticket about possibly reducing the duplicate imports.

Fxhnd commented 6 years ago

Stdout for an ontology will just project the unicode infix notation. Functional output will be the responsibility of whatever task you're running from bin/