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	MIT
Categories	Scala Languages
GroupId	io.github.leoprover
ArtifactId	scala-tptp-parser_2.13
Version	1.3
Type	jar
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	https://github.com/leoprover/scala-tptp-parser
Project Organization	io.github.leoprover
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

Apache Maven

<!-- 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>

Gradle Groovy

// https://jarcasting.com/artifacts/io.github.leoprover/scala-tptp-parser_2.13/
implementation 'io.github.leoprover:scala-tptp-parser_2.13:1.3'

Gradle Kotlin

// https://jarcasting.com/artifacts/io.github.leoprover/scala-tptp-parser_2.13/
implementation ("io.github.leoprover:scala-tptp-parser_2.13:1.3")

Apache Buildr

'io.github.leoprover:scala-tptp-parser_2.13:jar:1.3'

Apache Ivy

<dependency org="io.github.leoprover" name="scala-tptp-parser_2.13" rev="1.3">
  <artifact name="scala-tptp-parser_2.13" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='io.github.leoprover', module='scala-tptp-parser_2.13', version='1.3')
)

Scala SBT

libraryDependencies += "io.github.leoprover" % "scala-tptp-parser_2.13" % "1.3"

Leiningen

[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.