I do most of my open source work on Scryer Prolog, an implementation of the ISO Prolog standard mostly written in Rust. It aims to be a high-level, extensible platform for bleeding edge research into logic and constraint logic programming while also meeting the expectations of a highly performant general-purpose Prolog system. If Scryer Prolog benefits you, buy me a coffee!