Package | Description |
---|---|
jason.asSyntax |
Modifier and Type | Class and Description |
---|---|
class |
CyclicTerm
A term with recursion (cyclic), created by code like X = f(X).
|
class |
Rule
A rule is a Literal (head) with a body, as in "a :- b & c".
|
class |
UnnamedVar
Represents an unnamed variable '_'.
|
class |
VarTerm
Represents a variable Term: like X (starts with upper case).
|