Serialized Form
-
Package org.prolog4j
-
Class org.prolog4j.AbstractProver extends Object implements Serializable
- serialVersionUID:
- 1L
-
Serialized Fields
-
conversionPolicy
ConversionPolicy conversionPolicy
The conversion policy of the prover.
-
-
Class org.prolog4j.Compound extends Object implements Serializable
- serialVersionUID:
- 1L
-
Class org.prolog4j.InvalidQueryException extends RuntimeException implements Serializable
- serialVersionUID:
- 1L
-
Serialized Fields
-
query
String query
The query that caused the exception.
-
-
Class org.prolog4j.UnknownVariableException extends RuntimeException implements Serializable
- serialVersionUID:
- 1L
-
Serialized Fields
-
variable
String variable
The variable that caused the exception.
-
-
-
Package org.prolog4j.swi.impl
-
Class org.prolog4j.swi.impl.SWIPrologProver extends AbstractProver implements Serializable
- serialVersionUID:
- 1L
-
-
Package org.prolog4j.tuprolog.impl
-
Class org.prolog4j.tuprolog.impl.TuPrologProver extends AbstractProver implements Serializable
- serialVersionUID:
- 1L
-
Serialized Fields
-
engine
alice.tuprolog.Prolog engine
The tuProlog engine that is used for storing the knowledge base and solving queries on it.
-
-
-
Package org.prolog4j.tuprolog.impl.libraries
-
Class org.prolog4j.tuprolog.impl.libraries.ListsLibrary extends alice.tuprolog.lib.TheoryLibrary implements Serializable
- serialVersionUID:
- -999830997395506838L
-