4.1.1 Further rules

Only dyadic relations are allowed

Prolog+CG only allows dyadic relations. This means that one will have to find other ways of representing relations like PAST, which are normally monadic.

This is a restriction in Prolog+CG that cannot be circumvented. This is a choice made by Dr. Adil Kabbaj when he implemented Prolog+CG, to support only dyadic relations.

Any identifier will do

Any identifier will do as a relation. Prolog+CG assigns no implicit or explicit meanings to any relations.

No relation hierarchy

There is no relation hierarchy behind any of the relations you may choose to employ, nor can you build one within the framework of Prolog+CG. This is not a critical restriction, however.


Next, we look at variables in connection with relations.

PrevLite: 4.1 Relations
NextLite: 4.1.2 Variables

Prev: 4.1 Relations
Up: 4.1 Relations
Next: 4.1.2 Variables