3.2.1 The rules
In Prolog+CG, we have two ways of saying that a type has an instance:
Like types, instances must be identifiers.
How to write a catalog of individuals
A catalog of individuals for a given type is written like this:
Type = Instance1, Instance2, ..., InstanceN.
Here, a number of instances (on the right-hand side) are declared to be instances of a specific type (on the left-hand side).
This rule is then repeated for each type that has instances.
This is similar to type-hierarchies
Notice how this is similar to the recipe for type-hierarchies.
The differences include:
Next, we give some examples.
PrevLite: 3.2 Concept type instances in Prolog+CG
NextLite: 3.2.2 Examples
Prev: 3.2 Concept type instances in Prolog+CG
Up: 3.2 Concept type instances in Prolog+CG
Next: 3.2.2 Examples