4.1 Relations


A relation looks like this in context:


Note how the relation is simply an identifier or variable that stands between two concepts, connected by arcs.

No parentheses

In the syntax of Prolog+CG, we write a relation simply as an identifier or a variable between two arcs. There are no parentheses around the relation.

Note also how there is no arrow-head on the arc going to the relation, only on the one going from it.


For example:

[Animal : Wolf]-AGNT->[Act : Eat]-PTNT->[Animal : Lamb]

Here, AGNT and PTNT are relations.

It is important to note that relations need not be all upper-case. The only requirement is that they conform to the syntax for identifiers (or variables).

PrevLite: 4 CG syntax
NextLite: 4.1.1 Further rules

Prev: 4 CG syntax
Up: 4 CG syntax
Next: 4.1.1 Further rules