Prolog System from State University of New York at Stony Brook - View it on GitHub