Download all versions of scala-tptp-parser_2.13 JAR files with all dependencies
scala-tptp-parser_2.13 from group io.github.leoprover (version 1.3)
scala-tptp-parser is a library for parsing the input languages of the TPTP infrastructure for knowledge representation and reasoning. The package contains a data structure for the abstract syntax tree (AST) of the parsed input as well as the parser for the different language of the TPTP, see http://tptp.org for details. In particular, parser are available for: - THF (TH0/TH1): Monomorphic and polymorphic higher-order logic, - TFF (TF0/TF1): Monomorphic and polymorphic typed first-order logic, - FOF: Untyped first-order logic, - CNF: (Untyped) clause-normal form, and - TPI: TPTP Process Instruction language. Currently, parsing of TFX (FOOL) and TCF (typed CNF) is not supported. Apart from that, the parser should cover every other language dialect. The parser is based on v7.4.0.3 of the TPTP syntax BNF (http://tptp.org/TPTP/SyntaxBNF.html).
0 downloads
Artifact scala-tptp-parser_2.13
Group io.github.leoprover
Version 1.3
Last update 08. April 2021
Tags: normal package higher particular contains every fool untyped languages cover tree polymorphic structure form dialect tptp available apart logic that input syntax parsed http representation language parser different knowledge other syntaxbnf data currently well from scala typed details order supported parsing instruction abstract should process reasoning library html monomorphic first infrastructure based clause
Organization io.github.leoprover
URL https://github.com/leoprover/scala-tptp-parser
License MIT
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!
Group io.github.leoprover
Version 1.3
Last update 08. April 2021
Tags: normal package higher particular contains every fool untyped languages cover tree polymorphic structure form dialect tptp available apart logic that input syntax parsed http representation language parser different knowledge other syntaxbnf data currently well from scala typed details order supported parsing instruction abstract should process reasoning library html monomorphic first infrastructure based clause
Organization io.github.leoprover
URL https://github.com/leoprover/scala-tptp-parser
License MIT
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!
Page 2 from 2 (items total 11)