3.2 Concept type instances in Prolog+CG


There is a fundamental difference between a type on the one hand, and instances of that type on the other.

For example, while "Animal" may be a type, "Odie" and "Garfield" are instances of that type.

Instances are members of the group of entities which the type names. The type is the name of the group.


Next, we look at the rules for specifying a catalog of instances.

PrevLite: 3.1.7 Summary
NextLite: 3.2.1 The rules

Prev: 3.1.7 Summary
Up: 3 Concept types and instances
Next: 3.2.1 The rules