3.3 Quiz: Concept types and instances

Question:

How does the rule for writing a type-hierarchy look?

Choose an answer:
Type > subtype, subtype, ...,
                subtype.

Type = instance, instance, ...,
                instance.

Type > subtype, subtype, ...,
                subtype

Type = instance, instance, ...,
                instance

Hints at: 3.1 Concept types and type-hierarchies in Prolog+CG.

Question:

How does a rule for writing a catalog of individuals look?

Choose an answer:
Type > subtype, subtype, ...,
                subtype.

Type = instance, instance, ...,
                instance.

Type > subtype, subtype, ...,
                subtype

Type = instance, instance, ...,
                instance

Hints at: 3.2.1 The rules.

Question:

What is the correct definition of an identifier?

Choose an answer:
A sequence of letters, digits, and underscores (_), where the first two are letters.
A sequence of letters and digits, where the first two are letters.
A sequence of letters, digits, and underscores (_).

Hints at: 3.1.5 Identifiers.

Question:

Must a type name be an identifier?

Choose an answer:
Yes
Not necessarily

Hints at: 3.1.5 Identifiers.

Question:

Must an instance name be an identifier?

Choose an answer:
Yes
Not necessarily

Hints at: 3.2.1 The rules, 3.1.5 Identifiers.

Question:

Can you have more than one instance in an instance declaration?

Choose an answer:
Yes
No

Hints at: 3.2.3 Further rules.

Question:

Can you have multiple inheritance in a subtype declaration?

Choose an answer:
Yes
No

Hints at: 3.1.3 Multiple inheritance.


PrevLite: 3.2.4 Summary
NextLite: 4 CG syntax

Prev: 3.2.4 Summary
Up: 3 Concept types and instances
Next: 4 CG syntax