alice.tuprologx.runtime.corba

Interface PrologOperations

All Known Subinterfaces:

Prolog

All Known Implementing Classes:

_PrologImplBase, _PrologStub, PrologImpl

public interface PrologOperations

Method Summary

Methods

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

Method Detail

clearTheory

void clearTheory()

getTheory

String getTheory()

setTheory

void setTheory(String theory)

solve

SolveInfo solve(String g)

hasOpenAlternatives

boolean hasOpenAlternatives()

solveNext

SolveInfo solveNext()

solveHalt

void solveHalt()

solveEnd

void solveEnd()

loadLibrary

void loadLibrary(String className)

unloadLibrary

void unloadLibrary(String className)