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 th)`
`void`	`solveEnd()`
`void`	`solveHalt()`
`SolveInfo`	`solveNext()`
`void`	`unloadLibrary(String className)`

void clearTheory()
                 throws Exception

Theory getTheory()
                 throws Exception

void setTheory(Theory theory)
               throws Exception

void addTheory(Theory theory)
               throws Exception

SolveInfo solve(String g)
                throws Exception

SolveInfo solve(Term th)
                throws Exception

SolveInfo solveNext()
                    throws Exception

boolean hasOpenAlternatives()
                            throws Exception

void solveHalt()
               throws Exception

void solveEnd()
              throws Exception

void loadLibrary(String className)
                 throws Exception

void unloadLibrary(String className)
                   throws Exception

Interface Prolog