More facts

/* parent(P,C) means P is a

parent of C */

parent(karen,greg).

parent(joseph,greg).

parent(karen,mark).

parent(joseph,mark).

• Interpretation of facts is imposed by the programmer

  • Biological parent? Genetic parent? Adoptive parent? Etc.

• Make assumptions clear!

Previous slide

Next slide

Back to first slide

View graphic version