10 Mar 2005
CS 3243 - FOL and Prolog
4
First-order logic
nWhereas propositional
logic assumes the world contains facts,
nfirst-order logic (like
natural language) assumes the world contains
¡Objects:
people, houses, numbers, colors, baseball games, wars, …
¡Relations:
red, round, prime, brother of, bigger than, part of, comes
between, …
¡Functions:
father of, best friend, one more than, plus, …
One to one
mapping