next up previous contents index
Next: Compound terms Up: Syntax Previous: Atoms   Contents   Index

Variables

Variables start with a leading upper case character, or a leading underscore. To specify an atom with a leading upper case character or underscore, enclose it in single quotes

X : variable
_Fred : variable
'X' : atom



chris mungall 2006-02-09