[Next] [Up] [Previous] [Contents]
Next: Clauses Up: Formulas Previous: Formulas   Contents

Atomic formulas


$\displaystyle A$ $\displaystyle ::=$ $\displaystyle q \mid p t_1\cdots t_n$  

An atomic formula (or predicate) consists of either a single predicate symbol $ p$ or a symbol applied to a list of arguments $ p t_1\cdots t_n$.


James Cheney 2003-10-23