Complete Syntax of Terms
Term
Variable
Constant
Compound Term
Names an individual
Stands for an individual
unable to be named when
 program is written
Names an individual
that has parts
Atom
Number
likes(john, mary)
book(dickens, Z, cricket)
f(x)
[1, 3, g(a), 7, 9]
-(+(15, 17), t)
15 + 17 - t
X
Gross_pay
Diagnosis
_257
_
alpha17
gross_pay
john_smith
dyspepsia
+
=/=
’12Q&A’
0
1
57
1.618
2.04e-27
-13.6
34