JarCasting
JarCasting JarCasting
is not current version
Last Version 1.6.2 →

scala-tptp-parser 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).

License

License

MIT
Categories

Categories

Scala Languages
GroupId

GroupId

io.github.leoprover
ArtifactId

ArtifactId

scala-tptp-parser_2.13
Version

Version

1.3
Type

Type

jar
Description

Description

scala-tptp-parser
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).
Project URL

Project URL

https://github.com/leoprover/scala-tptp-parser
Project Organization

Project Organization

io.github.leoprover
Source Code Management

Source Code Management

https://github.com/leoprover/scala-tptp-parser

Download scala-tptp-parser_2.13 1.3

Filename Size
scala-tptp-parser_2.13-1.3.pom
scala-tptp-parser_2.13-1.3.jar 406 KB
scala-tptp-parser_2.13-1.3-sources.jar 17 KB
scala-tptp-parser_2.13-1.3-javadoc.jar 1 MB
Browse 

<!-- https://jarcasting.com/artifacts/io.github.leoprover/scala-tptp-parser_2.13/ -->
<dependency>
    <groupId>io.github.leoprover</groupId>
    <artifactId>scala-tptp-parser_2.13</artifactId>
    <version>1.3</version>
</dependency>
// https://jarcasting.com/artifacts/io.github.leoprover/scala-tptp-parser_2.13/
implementation 'io.github.leoprover:scala-tptp-parser_2.13:1.3'
// https://jarcasting.com/artifacts/io.github.leoprover/scala-tptp-parser_2.13/
implementation ("io.github.leoprover:scala-tptp-parser_2.13:1.3")
'io.github.leoprover:scala-tptp-parser_2.13:jar:1.3'
<dependency org="io.github.leoprover" name="scala-tptp-parser_2.13" rev="1.3">
  <artifact name="scala-tptp-parser_2.13" type="jar" />
</dependency>
@Grapes(
@Grab(group='io.github.leoprover', module='scala-tptp-parser_2.13', version='1.3')
)
libraryDependencies += "io.github.leoprover" % "scala-tptp-parser_2.13" % "1.3"
[io.github.leoprover/scala-tptp-parser_2.13 "1.3"]

Dependencies

compile (1)

Group / Artifact Type Version
org.scala-lang : scala-library jar 2.13.5

test (1)

Group / Artifact Type Version
org.scalatest : scalatest_2.13 jar 3.2.5

Project Modules

There are no modules declared in this project.