Es gibt mindestens ein frei verfügbares Prolog-Programm: SWI-Prolog. Für Linux, Windows oder Mac. Die Windows-Version ist nach meinen Erfahrungen extrem leicht zu installieren: heruntergeladene Datei einfach anklicken, und das Installationsprogramm ausführen.