IProverFactory

All Known Implementing Classes:

SWIPrologProverFactory, TuPrologProverFactory
```
public interface IProverFactory
```
IProverFactory instances manufacture Prover instances by name.
Most users retrieve Prover instances through the static ProverManager#getProver(String) method. An instance of this interface is bound internally with ProverManager class at compile time.

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`ConversionPolicy`	`createConversionPolicy()`	Creates a new conversion policy.
`Prover`	`createProver()`	Creates a new prover.

- Method Detail
  - createProver
```
Prover createProver()
```
    Creates a new prover.
    
    Returns:
    
    a new prover
  - createConversionPolicy
```
ConversionPolicy createConversionPolicy()
```
    Creates a new conversion policy.
    
    Returns:
    
    the created conversion policy