Visual Prolog

Fra Wikipedia, den frie encyklopædi

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

[redigér] Hanoi Example

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).

[redigér] Se også

[redigér] Eksterne kilder/henvisninger


Denne it-artikel er kun påbegyndt. Hvis du ved mere om emnet, kan du hjælpe Wikipedia ved at udvide den.
organisation
Andre sprog