Skiftende tilstande i Prolog på Windows Command Line

Indlæg af Hanne Mølgaard Plasc

Problem



Sicstus Prolog manualen siger til brugeren '|? - konsulter (bruger).' at indtaste klausuler og at 'for at vende tilbage til øverste niveau, skriv ^ D.'. Jeg bruger dog Windows, og manualen har ikke Windows-instruktioner. Hvordan kan jeg vende tilbage til forespørgselsfunktionen i Windows?

Bedste reference


I mange Prolog-systemer, som SICStus 4, kan du indtaste fakta end\_of\_file. for at afslutte konsultationen. Denne kendsgerning vil ikke blive hørt, den tjener kun til at indikere slutningen.


(Advarsel: Jeg er ikke en hyppig bruger af Wind-ows. Det er, jeg har kun rdesktop til sådan aktivitet.)


Skulle du nogensinde have behov for at definere faktoren end\_of\_file. i dit program, skal du skrive end\_of\_file :- true. i stedet.


Hvis du indtaster end\_of\_file. som en forespørgsel på toplevelen, stopper mange Prolog-systemer. Du kan omgå dette ved at indtaste true,end\_of\_file. i stedet.


Denne lidt bizarre adfærd er på ingen måde standardiseret.

Andre referencer 1


Jeg kan ikke teste det, men jeg tror ^ Z (Ctrl + Z) skal spille den samme rolle som ^ D (Ctrl + D) på Unix.