
Trealla is a small, easily portable Prolog core that uses tree-walking, structure-sharing, and deep-binding, with a focus on being a small, easily ported Prolog core. It supports various features, including UTF-8, DCGs, mmap'd files, and foreign function interfaces, as well as cooperative multi-tasking and multi-threading.