License |
License |
---|---|
Categories |
CategoriesScala Languages |
GroupId | GroupIdio.github.leoprover |
ArtifactId | ArtifactIdscala-tptp-parser_2.13 |
Last Version | Last Version1.6.2 |
Release Date | Release Date |
Type | Typejar |
Description |
Descriptionscala-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 |
Project URL |
Project Organization |
Project Organization |
Source Code Management |
Source Code Management |
<!-- 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>
// https://jarcasting.com/artifacts/io.github.leoprover/scala-tptp-parser_2.13/
implementation 'io.github.leoprover:scala-tptp-parser_2.13:1.6.2'
// https://jarcasting.com/artifacts/io.github.leoprover/scala-tptp-parser_2.13/
implementation ("io.github.leoprover:scala-tptp-parser_2.13:1.6.2")
'io.github.leoprover:scala-tptp-parser_2.13:jar:1.6.2'
<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>
@Grapes(
@Grab(group='io.github.leoprover', module='scala-tptp-parser_2.13', version='1.6.2')
)
libraryDependencies += "io.github.leoprover" % "scala-tptp-parser_2.13" % "1.6.2"
[io.github.leoprover/scala-tptp-parser_2.13 "1.6.2"]
Group / Artifact | Type | Version |
---|---|---|
org.scala-lang : scala-library | jar | 2.13.8 |
Group / Artifact | Type | Version |
---|---|---|
org.scalatest : scalatest_2.13 | jar | 3.2.10 |