alice.tuprologx.runtime.corba

Class PrologImpl

java.lang.Object

org.omg.CORBA.portable.ObjectImpl

alice.tuprologx.runtime.corba._PrologImplBase

alice.tuprologx.runtime.corba.PrologImpl

All Implemented Interfaces:

Prolog, PrologOperations, Serializable, Object, IDLEntity, InvokeHandler

public class PrologImpl
extends _PrologImplBase

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
PrologImpl() construction with default libraries: ISO + Meta
PrologImpl(String[] libs) construction speciying (eventually) libraries

Method Summary

Methods

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

Methods inherited from class alice.tuprologx.runtime.corba._PrologImplBase

_ids, _invoke

Methods inherited from class org.omg.CORBA.portable.ObjectImpl

_create_request, _create_request, _duplicate, _get_delegate, _get_domain_managers, _get_interface_def, _get_policy, _hash, _invoke, _is_a, _is_equivalent, _is_local, _non_existent, _orb, _release, _releaseReply, _request, _request, _servant_postinvoke, _servant_preinvoke, _set_delegate, _set_policy_override, equals, hashCode, toString

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.omg.CORBA.Object

_create_request, _create_request, _duplicate, _get_domain_managers, _get_interface_def, _get_policy, _hash, _is_a, _is_equivalent, _non_existent, _release, _request, _set_policy_override

Constructor Detail

PrologImpl

public PrologImpl()

construction with default libraries: ISO + Meta

PrologImpl

public PrologImpl(String[] libs)
           throws InvalidLibraryException

construction speciying (eventually) libraries

Throws:

InvalidLibraryException

Method Detail

clearTheory

public void clearTheory()

managing theory theory

getTheory

public String getTheory()

setTheory

public void setTheory(String st)

solve

public SolveInfo solve(String g)

hasOpenAlternatives

public boolean hasOpenAlternatives()

solveNext

public SolveInfo solveNext()

solveHalt

public void solveHalt()

solveEnd

public void solveEnd()

loadLibrary

public void loadLibrary(String className)

unloadLibrary

public void unloadLibrary(String className)