10 Mar 2005
CS 3243 - FOL and Prolog
5
Syntax of FOL: Basic elements
nConstants KingJohn, 2, NUS,...
nPredicates Brother, >,...
nFunctions Sqrt, LeftLegOf,...
nVariables x, y, a, b,...
nConnectives Ø, Þ, Ù,
Ú, Û
nEquality =
nQuantifiers ", $