Trealla – compact, efficient Prolog interpreter written in plain-old C | Heykuki News