All Downloads are FREE. Search and download functionalities are using the official Maven repository.

alice.tuprologx.runtime.corba.PrologOperations Maven / Gradle / Ivy

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




© 2015 - 2025 Weber Informatics LLC | Privacy Policy