Download of the TRALE System
You can download various versions of the TRALE System here. Users with Intel CPUs can also use the Grammix-VM. Grammix is a virtual machine with all the necessary components preinstalled. The versions offered here are not official versions of TRALE. Please contact the PIs Frank Richter or Gerald Penn for official versions.There are the following options:
- TRALE-Code for SICStus-Prolog 4.10 for users with a Prolog license (Version of 14.04.2025)
- Standalone version of TRALE for Mac with Apple Silicon (M1, M2, M3, that is with Arm64 architecture, version of 24.04.2025)
- Standalone version of TRALE for Linux (version of 24.03.2025)