alice.tuprologx.runtime.corba

Interface Prolog

All Superinterfaces:

IDLEntity, Object, PrologOperations, Serializable

All Known Implementing Classes:

_PrologImplBase, _PrologStub, PrologImpl

public interface Prolog
extends PrologOperations, Object, IDLEntity

Method Summary

Methods inherited from interface alice.tuprologx.runtime.corba.PrologOperations

clearTheory, getTheory, hasOpenAlternatives, loadLibrary, setTheory, solve, solveEnd, solveHalt, solveNext, unloadLibrary

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