Class | Description |
---|---|
Atom | |
AtomCache |
Storage for
GroundAtoms so that a Database
always returns the same object for a GroundAtom. |
GroundAtom |
An Atom with only
GroundTerms for arguments. |
ObservedAtom |
A
GroundAtom with a fixed truth value. |
QueryAtom |
An Atom that can be used in a query, but does not have a truth value.
|
RandomVariableAtom |
A
GroundAtom with a truth value which can be modified. |
Copyright © 2018 University of California, Santa Cruz. All rights reserved.