Representing it all symbolically
摘要
Based on the notion of signatures as introduced in Chapter 7, general system modules are now represented on a purely symbolic level. Corresponding to predicates as in Chapter 9, now predicate symbols serve as places.