read-legacy

This package contains the library ReadShowTerm which provides operations to convert ground terms to strings and vice versa. These operations work similarly to the standard show and read operations but are implemented by generic external operations so that they are more efficient.

Due to the generic implementation of these operations, the read... operations must be called with a list of module names containing all constructores occurring in the string representation of the data term to be read.