A Prolog implementation designed to be fast and resource-efficient, providing both an interactive interpreter and a native-code compiler.