| Interface | Description |
|---|---|
| ISimplifiedROMap<K,V> |
This interface describes a completely stripped-down version of a read-only
map.
|
| Class | Description |
|---|---|
| BindingGenerator |
Takes a Prolog term of the form (only its canonical form) "[x=a,y=b,z=c]" and
converts it into a mapping x->a, y->b, z->c, where x,y and z are
identifiers and a,b,c prolog terms.
|
| ProBResultParser | |
| PrologTermGenerator |
This generator extracts prolog terms from a SableCC syntax tree.
|
| Exception | Description |
|---|---|
| ResultParserException |