Parser for a subset of Prolog term syntax, used to read answers from the ProB Prolog core (probcli) in socket-server mode. For internal use only by the ProB Java API and the ProB plugin for Rodin!
Compile Dependencies (2)
| Category/License | Group / Artifact | Version | Updates | |
|---|---|---|---|---|
EPL 1.0 +1
| | de.hhu.stups
»
sablecc-runtime This is the runtime support library for the Stups fork of SableCC. It provides common classes and interfaces used by the ... | 3.4.0 | 3.9.0 |
EPL 1.0
| | de.hhu.stups
»
prologlib Library to construct and manipulate well-formed Prolog terms | 2.12.2 | 2.16.1 |