4.6 Quiz: CG Syntax

Question:

Are relations written with parentheses in Prolog+CG's notation?

Choose an answer:
Yes.
No.

Hints at: 4.1 Relations.

Question:

How are relations written?

Choose an answer:
[C1]-Rel->[C2]
[C1]->Rel->[C2]

Hints at: 4.2 Arcs.

Question:

Can you write things like:

PAST->[Situation]

Why or why not?

Choose an answer:
Yes.
No.

Hints at: 4.1.1 Further rules.

Question:

What can a relation be?

Choose an answer:
A term.
An identifier or a variable.
An identifier.

Hints at: 4.1 Relations.

Question:

Are both of the following notations allowed?

[C1]-R->[C2]
[C2]<-R-[C1]

Choose an answer:
Yes.
No.

Hints at: 4.2 Arcs.

Question:

Which of the following is not a valid pattern for a concept?

Choose an answer:
[Type]
[Type : Referent]
[Type = Descriptor]
[Type : Referent = Descriptor]
[Referent = Descriptor]

Hints at: 4.3 Concepts, 4.3.1 Concept types, 4.3.2 Referents, 4.3.3 Concept descriptors.

Question:

What can a referent be?

Choose an answer:
An identifier or a multi-referent.
An identifier, a string, a variable, or a multi-referent.
An identifier or a variable.

Hints at: 4.3.2 Referents.

Question:

What can a concept descriptor be?

Choose an answer:
A CG.
Any kind of Prolog+CG data.

Hints at: 4.3.3 Concept descriptors.

Question:

Which symbol is used to separate the concept descriptor from either the type or the referent?

Choose an answer:
>
:
=

Hints at: 4.3.3 Concept descriptors.

Question:

How are coreferents specified?

Choose an answer:
With variables.
With multi-referents.

Hints at: 4.5 Coreferents.


PrevLite: 4.5 Coreferents
NextLite: 5 CG primitives

Prev: 4.5 Coreferents
Up: 4 CG syntax
Next: 5 CG primitives