3.2 Concept type instances in Prolog+CG

Introduction

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

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