Proposal and implementation for full FOL in JSON-LD

• From: Tanel Tammet <Tanel.Tammet@ttu.ee>
• Date: Mon, 31 Aug 2020 13:52:51 +0300
• To: public-json-ld-wg@w3.org
• Message-ID: <b1ce8862-7f4a-34ec-57df-2e565227f1be@ttu.ee>

Hi,

Maybe you are interested of a fresh JSON-LD-compatible draft proposal 
for the JSON format of logic for provers:

https://github.com/tammet/json-ld-logic

There is a live pure-browser prover playground for the syntax

http://logictools.org/json.html

running my https://github.com/tammet/gkc prover using Wasm.

Any comments and suggestions would be most welcome!

Regards,

Tanel Tammet

Received on Monday, 31 August 2020 13:52:51 UTC