by Gerd Wagner
One of the main uses of computer systems is the management of large amounts of symbolic information representing the state of some application domain, such as information about all the people I com…