Trealla – compact, efficient Prolog interpreter written in plain-old Cgithub.com/infradig8 pointspabs35 years ago