Finally, a note about names. When writing new facts, you may have to
choose names for your predicates
- names like is_a, or loves, or
has_part. Please avoid the name is, which means
something special to Prolog. If you try to define a fact whose predicate
is is, you will get confusing messages about updating built-in facts.