draft JSON syntax for FOL reasoners

• From: Tanel Tammet <tanel.tammet@gmail.com>
• Date: Sun, 8 Sep 2019 18:10:16 +0300
• To: semantic-web@w3.org
• Message-ID: <c79ca89c-6880-79b6-8641-77354fc199de@ttu.ee>

Folks,

For anybody interested in full first order reasoners: there is a fresh 
draft spec

https://github.com/tammet/jsfol

for using JSON for the TPTP ( http://tptp.cs.miami.edu/ ) language used 
by most top-level full FOL reasoners.

Any comments and suggestions most welcome.

Maybe

Regards,

Tanel Tammet

Received on Monday, 9 September 2019 08:01:41 UTC