SICStus Prolog er installeret på maskinerne i Datalogibygningen. Vi har en licens, sø RUC-studerende kan installere en version på deres hjemmemaskiner. Findes på Cd'en "Absolut Datalogi", eller kan hentes via ftp, såfremt du har brugernavn og password på: ftp://blake.ruc.dk/../Software/Absolute%20Datalogi%20Vol3/Shareware/sicstus/. Der ligger installationsfil og vejledning/licensinfo.
Nør du har startet Prolog-systemet og du har en fil "min_fil" (eller "min_fil.pl"), indlæser du den i Prolog ved følgende:
?- [min_fil].
Hvis dit filnavn indeholder specialtegn (andre end understreg) eller starter med stort bogstav, må det omsluttes med enkelt-anførselstegn f.eks. ?- ['Min#fil.gak'].
Du slutter kørslen med
?- halt.
Husk, at hvis du skal bruge liste-prædikater som "append" og "member" skal du i din kildefil angive
:- use_module(library(lists)).
eller, hvis du ikke har en kildefil, men blot eksperimenterer med de indbyggede prædikater, kalde "use_module(library(lists))." som en forespørgsel.
HUSK, forespørgsler slutter altid med et punktum!