Docjar: A Java Source and Docuemnt Enginecom.*    java.*    javax.*    org.*    all    new    plug-in

Quick Search    Search Deep

alice.tuprolog.runtime.rmi
Interface PrologRMI  view PrologRMI download PrologRMI.java

All Superinterfaces:
java.rmi.Remote
All Known Implementing Classes:
PrologRMIImpl

public interface PrologRMI
extends java.rmi.Remote


Method Summary
 void addOutputListener(alice.tuprolog.OutputListener l)
           
 void addSpyListener(alice.tuprolog.SpyListener l)
           
 void addStateListener(alice.tuprolog.StateListener l)
           
 void addTheory(alice.tuprolog.Theory theory)
           
 void clearTheory()
           
 alice.tuprolog.PrologVM getImpl()
           
 alice.tuprolog.Library getLibrary(java.lang.String name)
           
 alice.tuprolog.Theory getTheory()
           
 boolean isSpy()
           
 void loadLibrary(java.lang.String className)
           
 void removeOutputListener(alice.tuprolog.OutputListener l)
           
 void removeSpyListener(alice.tuprolog.SpyListener l)
           
 void removeStateListener(alice.tuprolog.StateListener l)
           
 void setSpy(boolean on)
           
 void setTheory(alice.tuprolog.Theory theory)
           
 alice.tuprolog.SolveInfo solve(java.lang.String g)
           
 alice.tuprolog.SolveInfo solve(alice.tuprolog.Term g)
           
 void solveEnd()
           
 void solveHalt()
           
 alice.tuprolog.SolveInfo solveNext()
           
 alice.tuprolog.Term toTerm(java.lang.String s)
           
 void unloadLibrary(java.lang.String className)
           
 

Method Detail

clearTheory

public void clearTheory()
                 throws java.rmi.RemoteException

getTheory

public alice.tuprolog.Theory getTheory()
                                throws java.rmi.RemoteException

setTheory

public void setTheory(alice.tuprolog.Theory theory)
               throws alice.tuprolog.InvalidTheoryException,
                      java.rmi.RemoteException

addTheory

public void addTheory(alice.tuprolog.Theory theory)
               throws alice.tuprolog.InvalidTheoryException,
                      java.rmi.RemoteException

solve

public alice.tuprolog.SolveInfo solve(alice.tuprolog.Term g)
                               throws java.rmi.RemoteException

solve

public alice.tuprolog.SolveInfo solve(java.lang.String g)
                               throws alice.tuprolog.MalformedGoalException,
                                      java.rmi.RemoteException

solveNext

public alice.tuprolog.SolveInfo solveNext()
                                   throws alice.tuprolog.NoMoreSolutionException,
                                          java.rmi.RemoteException

solveHalt

public void solveHalt()
               throws java.rmi.RemoteException

solveEnd

public void solveEnd()
              throws java.rmi.RemoteException

loadLibrary

public void loadLibrary(java.lang.String className)
                 throws alice.tuprolog.InvalidLibraryException,
                        java.rmi.RemoteException

unloadLibrary

public void unloadLibrary(java.lang.String className)
                   throws alice.tuprolog.InvalidLibraryException,
                          java.rmi.RemoteException

getLibrary

public alice.tuprolog.Library getLibrary(java.lang.String name)
                                  throws java.rmi.RemoteException

addOutputListener

public void addOutputListener(alice.tuprolog.OutputListener l)
                       throws java.rmi.RemoteException

addSpyListener

public void addSpyListener(alice.tuprolog.SpyListener l)
                    throws java.rmi.RemoteException

addStateListener

public void addStateListener(alice.tuprolog.StateListener l)
                      throws java.rmi.RemoteException

removeOutputListener

public void removeOutputListener(alice.tuprolog.OutputListener l)
                          throws java.rmi.RemoteException

removeSpyListener

public void removeSpyListener(alice.tuprolog.SpyListener l)
                       throws java.rmi.RemoteException

removeStateListener

public void removeStateListener(alice.tuprolog.StateListener l)
                         throws java.rmi.RemoteException

setSpy

public void setSpy(boolean on)
            throws java.rmi.RemoteException

isSpy

public boolean isSpy()
              throws java.rmi.RemoteException

toTerm

public alice.tuprolog.Term toTerm(java.lang.String s)
                           throws java.rmi.RemoteException

getImpl

public alice.tuprolog.PrologVM getImpl()
                                throws java.rmi.RemoteException