SWIPrologProverFactory

java.lang.Object
- org.prolog4j.swi.SWIPrologProverFactory

All Implemented Interfaces:

IProverFactory
```
public final class SWIPrologProverFactory
extends Object
implements IProverFactory
```
An implementation of IProverFactory which always returns the same SWIPrologProver instance. SWI-Prolog does not support multiple Prolog engines.

Constructor Summary

Constructors
Constructor Description

SWIPrologProverFactory()

Method Summary

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

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - SWIPrologProverFactory
```
public SWIPrologProverFactory()
```
- Method Detail
  - createConversionPolicy
```
public ConversionPolicy createConversionPolicy()
```
    Description copied from interface: IProverFactory
    
    Creates a new conversion policy.
    
    Specified by:
    
    createConversionPolicy in interface IProverFactory
    
    Returns:
    
    the created conversion policy
  - createProver
```
public Prover createProver()
```
    Description copied from interface: IProverFactory
    
    Creates a new prover.
    
    Specified by:
    
    createProver in interface IProverFactory
    
    Returns:
    
    a new prover