https://123dok.net/document/yj7vg315-a-description-logics-tableau-reasoner-in-prolog.html