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!
Version2.6.3compared with

Version Details

Compile Changes (1)

2.6.2 2.6.3
ChangeGroup / ArtifactPreviousCurrent
~ Updated de.hhu.stups » prologlib2.6.22.6.3