s

scala-tptp-parser_2.13

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.
https://github.com/leoprover/scala-tptp-parser
MIT
io.github.leoprover
Alexander Steen
data reasoning available language parsing details html different knowledge order based package including tree particular input contains parser keep http parsed updated higher scala polymorphic updates representation syntaxbnf tptp extended library track clause normal process languages abstract continuously structure monomorphic typed form infrastructure instruction untyped syntax well initially logic first
Files download
File Operation
scala-tptp-parser_2.13-1.7.1.jar download
scala-tptp-parser_2.13-1.7.1.pom download
scala-tptp-parser_2.13-1.7.1-sources.jar download
Apache Maven 
<dependency>
  <groupId>io.github.leoprover</groupId>
  <artifactId>scala-tptp-parser_2.13</artifactId>
  <version>1.7.1</version>
</dependency>
Gradle Groovy 
implementation 'io.github.leoprover:scala-tptp-parser_2.13:1.7.1'
Gradle Kotlin 
implementation("io.github.leoprover:scala-tptp-parser_2.13:1.7.1")
Scala SBT 
libraryDependencies += "io.github.leoprover" % "scala-tptp-parser_2.13" % "1.7.1"
Groovy Grape 
@Grapes(
  @Grab(group='io.github.leoprover', module='scala-tptp-parser_2.13', version='1.7.1')
)
Apache Ivy 
<dependency org="io.github.leoprover" name="scala-tptp-parser_2.13" rev="1.7.1" />
Leiningen 
[io.github.leoprover/scala-tptp-parser_2.13 "1.7.1"]
Apache Buildr 
'io.github.leoprover:scala-tptp-parser_2.13:jar:1.7.1'
Dependencies

compile

|-- org.scala-lang:scala-library:2.13.10

test

|-- org.scalatest:scalatest_2.13:3.2.15