SWI-Prolog
I’m working on installing Prolog on the linux machines for Eni’s class use. I was following the instructions from http://www.swi-prolog.org/build/Redhat.html . I skipped the dependencies part because it seemed like we already had most of those packages, maybe I’ll go … Continue reading