PRODIGY: Ground Atomic Formulas

Description

• Used in database to express current state of world
• Supply truth values for "primitive relations" that can be directly observed from the world
• Operators may add and delete primitve relations from state database