High_IQ_Prolog Prolog interpreter (again) backed by Gaussian elimination (high iq) as opposed to back-tracking (average iq) WiP! Coming soon! Meanwhile on https://discord.gg/dJxnkNwE