alice.tuprologx.runtime.tcp

Class Proxy

java.lang.Object

alice.tuprologx.runtime.tcp.Proxy

All Implemented Interfaces:

Prolog

public class Proxy
extends Object
implements Prolog

Constructor Summary

Constructors

Constructor and Description
Proxy(String host)
Proxy(String host, int port)

Method Summary

Methods

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Proxy

public Proxy(String host)
      throws UnknownHostException,
             IOException

Throws:

UnknownHostException

IOException

Proxy

public Proxy(String host,
     int port)
      throws UnknownHostException,
             IOException

Throws:

UnknownHostException

IOException

Method Detail

clearTheory

public void clearTheory()
                 throws Exception

Specified by:

clearTheory in interface Prolog

Throws:

Exception

getTheory

public Theory getTheory()
                 throws Exception

Specified by:

getTheory in interface Prolog

Throws:

Exception

setTheory

public void setTheory(Theory th)
               throws Exception

Specified by:

setTheory in interface Prolog

Throws:

Exception

addTheory

public void addTheory(Theory th)
               throws Exception

Specified by:

addTheory in interface Prolog

Throws:

Exception

solve

public SolveInfo solve(String st)
                throws Exception

Specified by:

solve in interface Prolog

Throws:

Exception

solve

public SolveInfo solve(Term term)
                throws Exception

Specified by:

solve in interface Prolog

Throws:

Exception

solveNext

public SolveInfo solveNext()
                    throws Exception

Specified by:

solveNext in interface Prolog

Throws:

Exception

hasOpenAlternatives

public boolean hasOpenAlternatives()
                            throws Exception

Specified by:

hasOpenAlternatives in interface Prolog

Throws:

Exception

solveHalt

public void solveHalt()
               throws Exception

Specified by:

solveHalt in interface Prolog

Throws:

Exception

solveEnd

public void solveEnd()
              throws Exception

Specified by:

solveEnd in interface Prolog

Throws:

Exception

loadLibrary

public void loadLibrary(String st)
                 throws Exception

Specified by:

loadLibrary in interface Prolog

Throws:

Exception

unloadLibrary

public void unloadLibrary(String st)
                   throws Exception

Specified by:

unloadLibrary in interface Prolog

Throws:

Exception