Visual Prolog

Fra Wikipedia, den frie encyklopædi
Gå til: navigation, søg
Visual Prolog
Visual Prolog IDE Screenshot.png
Udvikler(e) Prolog Development Center
Stabil version 7.4 (November 2012)
Operativsystem Windows
Tilgængelig på Engelsk
Type Programmeringssprog
Hjemmeside Visual-Prolog.com

Visual Prolog, tidligere kendt som PDC Prolog og Turbo Prolog, er en dansk produceret, stærkt typet[1], objektorienteret udvidelse af Prolog. Som Turbo Prolog blev det markedsført af softwaregiganten Borland, men på ny markedsføres og udvikles det af det danske firma Prolog Development Center (PDC) som oprindeligt udviklede det.

Visual Prolog er kompileret snarere end fortolket, som ellers er almindeligt for logik-programmeringssprog.

Kernen i Visual Prolog er Horn-klausuler som i traditionel Prolog, men modsat traditionel Prolog har Visual Prolog altid været stærkt typet. Siden version 6.0 har sproget været fuldt objektorienteret, og i version 7.0 blev parametrisk polymorfi introduceret.

  1. "stærkt typet" eller "stærkt typiseret" vil sige at programmøren tvinges til at angive af hvilken type den pågældende variabel er: fx tal- eller tekst-variabel

Towers of Hanoi eksempel[redigér | redigér wikikode]

class hanoi 
   predicates 
       hanoi : (unsigned N). 
end class hanoi 
 
implement hanoi 
   domains 
       pole = string. 
 
   clauses 
       hanoi(N) :- move(N, "venstre", "midterste", "højre"). 
 
   class predicates 
       move : (unsigned N, pole A, pole B, pole C). 
   clauses 
       move(0, _, _, _) :- !. 
       move(N, A, B, C) :- 
           move(N-1, A, C, B), 
           stdio::writef("flyt en skive fra stang % til stang %\n", A, B), 
           move(N-1, C, B, A). 
end implement hanoi 
 
goal 
   console::init(), 
   hanoi::hanoi(4).

Se også[redigér | redigér wikikode]

Eksterne kilder/henvisninger[redigér | redigér wikikode]


Software Stub
Denne artikel om software er kun påbegyndt. Hvis du ved mere om emnet, kan du hjælpe Wikipedia ved at udvide den.