TYPICAL

Current release of TYPICAL for Prolog supports meta-types

If you have any questions or comments on the system, please contact typical@fernuni-hagen.de


TYPICAL