One of the main uses of computer systems is the management of large amounts of symbolic information representing the state …
