package alice.tuprologx.runtime.corba;


/**
* org/alice/tuprologx/runtime/corba/PrologOperations.java
* Generated by the IDL-to-Java compiler (portable), version "3.0"
* from org/alice/tuprologx/runtime/corba/Prolog.idl
* venerd́ 28 dicembre 2001 12.37.09 GMT+01:00
*/

public interface PrologOperations
{
  void clearTheory ();
  String getTheory ();
  void setTheory (String theory);
  alice.tuprologx.runtime.corba.SolveInfo solve (String g);
  boolean hasOpenAlternatives ();
  alice.tuprologx.runtime.corba.SolveInfo solveNext ();
  void solveHalt ();
  void solveEnd ();
  void loadLibrary (String className);
  void unloadLibrary (String className);
} // interface PrologOperations
