Description
Prolog programs can be interpreted with a compact implementation that aims for ISO-compatible behavior. Trealla is useful for developers, students, and logic-programming users who want a small Prolog runtime from the terminal. It executes user-supplied code and can load files, so treat untrusted programs as code with normal local-system access.