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, including extended TFF (TFX), - FOF: Untyped first-order logic, - TCF: Typed clause-normal form, - CNF: (Untyped) clause-normal form, and - TPI: TPTP Process Instruction language. The parser was initially based on v7.4.0.3 of the TPTP syntax BNF (http://tptp.org/TPTP/SyntaxBNF.html), but is continuously updated to keep track of TPTP language updates.

License	MIT
Categories	Scala Languages
GroupId	io.github.leoprover
ArtifactId	scala-tptp-parser_2.13
Last Version	1.6.2
Release Date	Apr 27, 2022
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, including extended TFF (TFX), - FOF: Untyped first-order logic, - TCF: Typed clause-normal form, - CNF: (Untyped) clause-normal form, and - TPI: TPTP Process Instruction language. The parser was initially based on v7.4.0.3 of the TPTP syntax BNF (http://tptp.org/TPTP/SyntaxBNF.html), but is continuously updated to keep track of TPTP language updates.
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

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

How to add to project

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.6.2</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.6.2'

Gradle Kotlin

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

Apache Buildr

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

Apache Ivy

<dependency org="io.github.leoprover" name="scala-tptp-parser_2.13" rev="1.6.2">
  <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.6.2')
)

Scala SBT

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

Leiningen

[io.github.leoprover/scala-tptp-parser_2.13 "1.6.2"]

Dependencies

compile (1)

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

test (1)

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

Project Modules

There are no modules declared in this project.

Leo provers and associated projects

LEO-II and Leo-III are automated theorem provers for classical higher-order logic.

Versions

Version
1.6.2 Apr 27, 2022
1.6.1 Apr 25, 2022
1.6 Feb 17, 2022
1.5 Feb 6, 2022
1.4 Oct 19, 2021
1.3 Apr 8, 2021