![JAR search and dependency download from the Maven repository](/logo.png)
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