Scryer Prolog: A modern Prolog implementation written mostly in Rustgithub.com/mthom272 pointshomarp5 years ago