3 ms·

But such system exists, mostly implemented in prolog.

• ants_everywhere 1y ago
  Does it actually?
  • kevindamm 1y ago
    The first thing this thread made me think of: https://cyc.com/ https://cyc.com/ It's been around for decades.. I'm sure there are other similar systems.
    • ants_everywhere 1y ago
      cool thanks for the link
      • riku_iki 1y ago
        there is also whole rdf/owl/semantic web ecosystem, with tons of companies/engines/datasets, mostly small.
  • adastra22 1y ago
    There are many variations, but I’m on mobile rn. (Is this the new Fermat’s last theorem?) But seriously, the idea of breaking claims into logic and using programming languages to check, compose, and verify claims is kinda the reason logical programming languages like prolog were invented.