Visual Prolog

Visual Prolog
Udvikler	Prolog Development Center
Nyeste udgivelse	7.4 (November 2012)
Styresystem	Windows
Type	Programmeringssprog
Tilgængelige sprog	Engelsk
Hjemmeside	Visual-Prolog.com

Visual Prolog, tidligere kendt som PDC Prolog og Turbo Prolog, er en dansk produceret, stærkt typet, 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.

Towers of Hanoi eksempel

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å

• Prolog
• Objektorienteret programmering, herunder Polymorfi

Eksterne kilder/henvisninger

• Visual Prolog Hjemmeside
• Prolog Development Center
• Logic programming, engelsk Wiki-side om logical programming, programmering ud fra logiske principper

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