Package org.prolog4j.manager.impl
-
Class Summary Class Description Activator ProverManager TheProverFactoryis a utility class producing Provers for various Prolog APIs, most notably for tuProlog, jTrolog and JLog.
| Class | Description |
|---|---|
| Activator | |
| ProverManager |
The
ProverFactory is a utility class producing Provers for
various Prolog APIs, most notably for tuProlog, jTrolog and JLog. |