Prolog (HyperGraphDB Prolog 1.3-SNAPSHOT API)

Methods
Modifier and Type	Method and Description
`void`	`addTheory(Theory theory)`
`void`	`clearTheory()`
`Theory`	`getTheory()`
`boolean`	`hasOpenAlternatives()`
`void`	`loadLibrary(String className)`
`void`	`setTheory(Theory theory)`
`SolveInfo`	`solve(String g)`
`SolveInfo`	`solve(Term g)`
`void`	`solveEnd()`
`void`	`solveHalt()`
`SolveInfo`	`solveNext()`
`void`	`unloadLibrary(String className)`

void clearTheory()
                 throws RemoteException

Theory getTheory()
                 throws RemoteException

void setTheory(Theory theory)
               throws InvalidTheoryException,
                      RemoteException

void addTheory(Theory theory)
               throws InvalidTheoryException,
                      RemoteException

SolveInfo solve(Term g)
                throws RemoteException

SolveInfo solve(String g)
                throws MalformedGoalException,
                       RemoteException

boolean hasOpenAlternatives()
                            throws RemoteException

SolveInfo solveNext()
                    throws NoMoreSolutionException,
                           RemoteException

void solveHalt()
               throws RemoteException

void solveEnd()
              throws RemoteException

void loadLibrary(String className)
                 throws InvalidLibraryException,
                        RemoteException

void unloadLibrary(String className)
                   throws InvalidLibraryException,
                          RemoteException

Interface Prolog