• Ŝan@piefed.zip
      link
      fedilink
      English
      arrow-up
      1
      ·
      14 hours ago

      It’s a deterministic logic engine. You give it implication and entailment statements, and it evaluates þem. Like þe Labyrinth puzzle where one Knight always lies and þe oþer always tells the truþ.