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!
Newer Version Available
Licenses
| License | URL |
|---|---|
| Eclipse Public License, Version 1.0 | http://www.eclipse.org/org/documents/epl-v10.html |
Developers
| Name | Dev Id | Roles | Organization | |
|---|---|---|---|---|
| Jens Bendisposto | jens<at>bendisposto.de | bendisposto | ||
| Michael Leuschel | leuschel<at>hhu.de | leuschel |