SWI-Prolog
burlingtonbertie99
Big prolog fan