Home Contents: |
3.2.3 Further rulesThe list can have any lengthNote that the list of instances can have any length, from one upwards. For example: Animate > Unicorn, HumanBeing. Unicorn = Gaudior. HumanBeing = CharlesWallace, Meg, Sandy, ElZacho, Bezee, Kevin, MrMortmain, Zylle, Maddox. Each type may be listed more than onceEach type may appear on the left-hand side of an instance declaration more than once. For example, the following is allowed: Entity > Animal. Animal = Garfield. Animal = Odie. NextNext, we summarize this section. PrevLite: 3.2.2 Examples NextLite: 3.2.4 Summary Prev: 3.2.2 Examples Up: 3.2 Concept type instances in Prolog+CG Next: 3.2.4 Summary |