HomeContents: |
## 4.2 ArcsThere is not much to say about arcs in Prolog+CG. There are only two possiblities: [C1]-R->[C2] and [C2]<-R-[C1] both have the same interpretation: C1 has an R which is a C2. Or, equivalently, C2 is an R of C1.
- there is
**no arrow-head**on the arc going**to**the relation, **only**on the arc going**from**the relation.
## NextNext, we look at concepts in detail. PrevLite: 4.1.3 SummaryNextLite: 4.3 ConceptsPrev: 4.1.3 SummaryUp: 4 CG syntaxNext: 4.3 Concepts |