Es gibt mindestens ein frei verfügbares Prolog-Programm: SWI-Prolog. Für Linux, Windows oder Unix. Die Windows-Version ist nach meinen Erfahrungen extrem leicht zu installieren: heruntergeladene Datei einfach anklicken, und das Installationsprogramm ausführen.
Zu SWI-Prolog gibt es auch einen Editor für Windows zur einfacheren Verwendung>