alice.tuprologx.runtime.rmi

Class PrologImpl

java.lang.Object

java.rmi.server.RemoteObject

java.rmi.server.RemoteServer

java.rmi.server.UnicastRemoteObject

alice.tuprologx.runtime.rmi.PrologImpl

All Implemented Interfaces:

Prolog, Serializable, Remote

public class PrologImpl
extends UnicastRemoteObject
implements Prolog, Serializable

See Also:

Serialized Form

Field Summary

Fields inherited from class java.rmi.server.RemoteObject

ref

Constructor Summary

Constructors

Constructor and Description
PrologImpl()

Method Summary

Methods

Modifier and Type	Method and Description
void	addTheory(Theory theory)
void	clearTheory()
Theory	getTheory()
boolean	hasOpenAlternatives()
void	loadLibrary(String className)
void	setTheory(Theory theory)
SolveInfo	solve(String g)
SolveInfo	solve(Term g)
void	solveEnd()
void	solveHalt()
SolveInfo	solveNext()
void	unloadLibrary(String className)

Methods inherited from class java.rmi.server.UnicastRemoteObject

clone, exportObject, exportObject, exportObject, unexportObject

Methods inherited from class java.rmi.server.RemoteServer

getClientHost, getLog, setLog

Methods inherited from class java.rmi.server.RemoteObject

equals, getRef, hashCode, toString, toStub

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

PrologImpl

public PrologImpl()
           throws RemoteException

Throws:

RemoteException

Method Detail

clearTheory

public void clearTheory()
                 throws RemoteException

Specified by:

clearTheory in interface Prolog

Throws:

RemoteException

getTheory

public Theory getTheory()
                 throws RemoteException

Specified by:

getTheory in interface Prolog

Throws:

RemoteException

setTheory

public void setTheory(Theory theory)
               throws InvalidTheoryException,
                      RemoteException

Specified by:

setTheory in interface Prolog

Throws:

InvalidTheoryException

RemoteException

addTheory

public void addTheory(Theory theory)
               throws InvalidTheoryException,
                      RemoteException

Specified by:

addTheory in interface Prolog

Throws:

InvalidTheoryException

RemoteException

solve

public SolveInfo solve(Term g)
                throws RemoteException

Specified by:

solve in interface Prolog

Throws:

RemoteException

solve

public SolveInfo solve(String g)
                throws MalformedGoalException,
                       RemoteException

Specified by:

solve in interface Prolog

Throws:

MalformedGoalException

RemoteException

hasOpenAlternatives

public boolean hasOpenAlternatives()
                            throws RemoteException

Specified by:

hasOpenAlternatives in interface Prolog

Throws:

RemoteException

solveNext

public SolveInfo solveNext()
                    throws NoMoreSolutionException,
                           RemoteException

Specified by:

solveNext in interface Prolog

Throws:

NoMoreSolutionException

RemoteException

solveHalt

public void solveHalt()
               throws RemoteException

Specified by:

solveHalt in interface Prolog

Throws:

RemoteException

solveEnd

public void solveEnd()
              throws RemoteException

Specified by:

solveEnd in interface Prolog

Throws:

RemoteException

loadLibrary

public void loadLibrary(String className)
                 throws InvalidLibraryException,
                        RemoteException

Specified by:

loadLibrary in interface Prolog

Throws:

InvalidLibraryException

RemoteException

unloadLibrary

public void unloadLibrary(String className)
                   throws InvalidLibraryException,
                          RemoteException

Specified by:

unloadLibrary in interface Prolog

Throws:

InvalidLibraryException

RemoteException