alice.tuprologx.runtime.tcp

Class PrologImpl

java.lang.Object

alice.tuprologx.runtime.tcp.PrologImpl

All Implemented Interfaces:

Serializable

public class PrologImpl
extends Object
implements Serializable

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
PrologImpl(Prolog core_)

Method Summary

Methods

Modifier and Type	Method and Description
void	addTheory(ObjectInputStream in, ObjectOutputStream out)
void	clearTheory(ObjectInputStream in, ObjectOutputStream out)
void	getTheory(ObjectInputStream in, ObjectOutputStream out)
void	hasOpenAlternatives(ObjectInputStream in, ObjectOutputStream out)
void	loadLibrary(ObjectInputStream in, ObjectOutputStream out)
void	setTheory(ObjectInputStream in, ObjectOutputStream out)
void	solveEnd(ObjectInputStream in, ObjectOutputStream out)
void	solveHalt(ObjectInputStream in, ObjectOutputStream out)
void	solveNext(ObjectInputStream in, ObjectOutputStream out)
void	solveString(ObjectInputStream in, ObjectOutputStream out)
void	solveTerm(ObjectInputStream in, ObjectOutputStream out)
void	unloadLibrary(ObjectInputStream in, ObjectOutputStream out)

Methods inherited from class java.lang.Object

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

Constructor Detail

PrologImpl

public PrologImpl(Prolog core_)

Method Detail

clearTheory

public void clearTheory(ObjectInputStream in,
               ObjectOutputStream out)

getTheory

public void getTheory(ObjectInputStream in,
             ObjectOutputStream out)
               throws Exception

Throws:

Exception

setTheory

public void setTheory(ObjectInputStream in,
             ObjectOutputStream out)
               throws Exception

Throws:

Exception

addTheory

public void addTheory(ObjectInputStream in,
             ObjectOutputStream out)
               throws Exception

Throws:

Exception

solveString

public void solveString(ObjectInputStream in,
               ObjectOutputStream out)
                 throws Exception

Throws:

Exception

hasOpenAlternatives

public void hasOpenAlternatives(ObjectInputStream in,
                       ObjectOutputStream out)
                         throws Exception

Throws:

Exception

solveTerm

public void solveTerm(ObjectInputStream in,
             ObjectOutputStream out)
               throws Exception

Throws:

Exception

solveNext

public void solveNext(ObjectInputStream in,
             ObjectOutputStream out)
               throws Exception

Throws:

Exception

solveHalt

public void solveHalt(ObjectInputStream in,
             ObjectOutputStream out)

solveEnd

public void solveEnd(ObjectInputStream in,
            ObjectOutputStream out)

loadLibrary

public void loadLibrary(ObjectInputStream in,
               ObjectOutputStream out)
                 throws Exception

Throws:

Exception

unloadLibrary

public void unloadLibrary(ObjectInputStream in,
                 ObjectOutputStream out)
                   throws Exception

Throws:

Exception