10 Mar 2005
CS 3243 - FOL and Prolog
34
Complete Syntax of
Terms
Term
Constant
Variable
Compound Term
Atom
Number
alpha17
gross_pay
john_smith
dyspepsia
+
=/=
’12Q&A’
0
1
57
1.618
2.04e-27
-13.6
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
_
Names an individual
Stands for an
individual
unable to be named
when
program is written
Names an individual
that has parts
N.B. : case of
Variables
and terms and constants switched
from FOL
A list is made of a terms, separated by commas and enclosed by brackets.