Package org.prolog4j.tuprolog
-
Class Summary Class Description TuPrologProverFactory An implementation ofIProverFactorywhich always returnsTuPrologProverinstances.
| Class | Description |
|---|---|
| TuPrologProverFactory |
An implementation of
IProverFactory which always returns
TuPrologProver instances. |