Represents an instance of a prolog program.
Attributes
- Companion
- object
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
Members list
Value members
Abstract methods
Returns this program with the new provided dynamic theory
Returns this program with the new provided dynamic theory
Value parameters
- theory
-
the dynamic Theory to be set for this program.
Attributes
Returns this program with the new provided static theory.
Returns this program with the new provided static theory.
Value parameters
- theory
-
the static Theory to be set for this program.
Attributes
Returns this program with the new provided goal.
Returns this program with the new provided goal.
Value parameters
- goal
-
a Term representing the goal to be set for this program.
Attributes
Abstract fields
The dynamic Theory of the program.
The dynamic Theory of the program.
Attributes
An Option that if filled with the goal set for the program.
An Option that if filled with the goal set for the program.
Attributes
The static Theory of the program.
The static Theory of the program.