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