Small Prolog V2 by Henri de Feraudy - View it on GitHub