Package org.prolog4j.swi
-
Class Summary Class Description SWIPrologProverFactory An implementation ofIProverFactorywhich always returns the sameSWIPrologProverinstance.
| Class | Description |
|---|---|
| SWIPrologProverFactory |
An implementation of
IProverFactory which always returns
the same SWIPrologProver instance. |