|
|||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| Packages that use Prolog | |
| alice.tuprolog | |
| Uses of Prolog in alice.tuprolog |
| Methods in alice.tuprolog that return Prolog | |
Prolog |
Library.getEngine()
Gets the engine to which the library is bound |
| Constructors in alice.tuprolog with parameters of type Prolog | |
TheoryEvent(Prolog source,
Theory oldth,
Theory newth)
|
|
QueryEvent(Prolog source,
SolveInfo info)
|
|
PrologEvent(Prolog source)
|
|
LibraryEvent(Prolog source,
java.lang.String libName)
|
|
|
|||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||