theruran 💻 🌐 :cereal_killer:<p>come to think of it, the Mercury programming language is perfect for writing an OWL reasoner.</p><p>with its C or Java FFI for the GUI, it could even replace Protege's broken ass.</p><p>I would be surprised it's not been done already if it weren't for the fact that programmers love to torture themselves using imperative languages with footguns. :crash: </p><p><a href="https://hackers.town/tags/ontologyDevelopment" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ontologyDevelopment</span></a> <a href="https://hackers.town/tags/MercuryLang" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>MercuryLang</span></a> <a href="https://hackers.town/tags/logicProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>logicProgramming</span></a></p>