3.2.4 Summary

General rules

Here is how to write the instances of one type:

Type = Instance1, Instance2, ..., InstanceN.

This rule is repeated for each type that has instances.

Other rules

Next

Next, we have a quiz


PrevLite: 3.2.3 Further rules
NextLite: 3.3 Quiz: Concept types and instances

Prev: 3.2.3 Further rules
Up: 3.2 Concept type instances in Prolog+CG
Next: 3.3 Quiz: Concept types and instances