alice.tuprolog

Interfaces  LibraryListener OutputListener PrologEventListener QueryListener SpyListener TheoryListener WarningListener

Classes  Agent Double Float Int Library LibraryEvent Long NullTerm Number Operator OperatorManager OutputEvent Parser Prolog PrologEvent PrologEventAdapter QueryEvent SolveInfo SpyEvent Struct Term Theory TheoryEvent Var WarningEvent

Exceptions  InvalidLibraryException InvalidTermException InvalidTheoryException InvalidVarNameException MalformedGoalException NoHaltException NoMoreSolutionException NoSolutionException PrologException UnknownVarException